xen_irq_enable    101 arch/x86/xen/irq.c PV_CALLEE_SAVE_REGS_THUNK(xen_irq_enable);
xen_irq_enable    123 arch/x86/xen/irq.c 	.irq_enable = PV_CALLEE_SAVE(xen_irq_enable),