Symbol: EVT_MASK_REASON_EOI_PENDING
drivers/xen/events/events_base.c
1901
do_mask(info, EVT_MASK_REASON_EOI_PENDING);
drivers/xen/events/events_base.c
645
do_unmask(info, EVT_MASK_REASON_EOI_PENDING);