xen_irq_disable    76 arch/x86/xen/irq.c PV_CALLEE_SAVE_REGS_THUNK(xen_irq_disable);
xen_irq_disable   122 arch/x86/xen/irq.c 	.irq_disable = PV_CALLEE_SAVE(xen_irq_disable),