xen_callback_vector 1649 drivers/xen/events/events_base.c void xen_callback_vector(void)
xen_callback_vector 1668 drivers/xen/events/events_base.c void xen_callback_vector(void) {}