Hi Andre, On 03/19/2018 05:54 PM, Andre Przywara wrote:
Which helpers? The set_{pending,active}_state() functions? I already put some kind of warning before the (wrapper) prototypes: /* * Set the active state of an IRQ. This should be used with care, as * this directly forces the active bit, without considering the GIC * state machine. * For private IRQs this only works for those of the current CPU. */
Oh yes, I missed that. Sorry for the noise. Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel