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),