Re: [Xen-devel] [PATCH v5 19/22] hvm/params: Add a new delivery type for event-channel in HVM_PARAM_CALLBACK_IRQ

[Julien Grall <julien.grall@xxxxxxx>]

Hi Konrad,

On 04/03/2016 21:19, Konrad Rzeszutek Wilk wrote:
> Anyhow what I am wondering if there are some semantincs when it comes to PPI
> and it being able to 'mask' an vector until it exits or such? If so
> you should document that.
I'm not sure to understand what you are asking.

Xen takes advantage of the virtual interrupt controller to notify the 
guest of new pending event channels.
The life cycle (mask/eoi) of the interrupt associated to the 
notification is handled by the interrupt controller. The interrupt can't 
be re-entrant but we may receive spurious notification.
AFAIK, there is no specific semantics. Stefano, can you confirm it?

Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel