PVOP_VCALLEE0     761 arch/x86/include/asm/paravirt.h 	PVOP_VCALLEE0(irq.irq_disable);
PVOP_VCALLEE0     766 arch/x86/include/asm/paravirt.h 	PVOP_VCALLEE0(irq.irq_enable);