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@lists.xen.org
http://lists.xen.org/xen-devel
