irq_irq_enable     23 arch/x86/kernel/paravirt_patch.c 	const unsigned char	irq_irq_enable[1];
irq_irq_enable     41 arch/x86/kernel/paravirt_patch.c 	.irq_irq_enable		= { 0xfb },		// sti