107 static void clear_evtchn_to_irq_all(void)  in clear_evtchn_to_irq_all()  argument
346 static void xen_evtchn_mask_all(void)  in xen_evtchn_mask_all()  argument
403 static inline int __must_check xen_allocate_irq_dynamic(void)  in xen_allocate_irq_dynamic()  argument
965 unsigned xen_evtchn_nr_channels(void)  in xen_evtchn_nr_channels()  argument
1226 static void __xen_evtchn_do_upcall(void)  in __xen_evtchn_do_upcall()  argument
1267 void xen_hvm_evtchn_do_upcall(void)  in xen_hvm_evtchn_do_upcall()  argument
1413 static void restore_pirqs(void)  in restore_pirqs()  argument
1570 void xen_irq_resume(void)  in xen_irq_resume()  argument
1651 void xen_callback_vector(void)  in xen_callback_vector()  argument
1671 void xen_callback_vector(void) {}  in xen_callback_vector()  argument
1680 void __init xen_init_IRQ(void)  in xen_init_IRQ()  argument