Symbol: xen_irq_lateeoi_locked
drivers/xen/events/events_base.c
682
xen_irq_lateeoi_locked(info, false);
drivers/xen/events/events_base.c
708
xen_irq_lateeoi_locked(info, eoi_flags & XEN_EOI_FLAG_SPURIOUS);