On 25/10/15 09:25, amin.fall...@gmail.com wrote: > Hi everybody > I need to understand when these pending and mask bits are set and > cleared. It seems pending bits are set by evtchn_set_pending method in > event_channel.c but I don't understand where pending bit is cleared by > the guest and where mask bit is set and reset?
The mask and pending bits are in memory shared with the guest and the guest (mostly) modifies these bits by writing directly to the shared memory. You need to look at the guest kernel (e.g., drivers/xen/events/events_base.c in Linux). David _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
