irq_restore_fl     28 arch/x86/kernel/paravirt_patch.c 	const unsigned char	irq_restore_fl[2];
irq_restore_fl     47 arch/x86/kernel/paravirt_patch.c 	.irq_restore_fl		= { 0x57, 0x9d },	// push %rdi; popfq
irq_restore_fl     55 arch/x86/kernel/paravirt_patch.c 	.irq_restore_fl		= { 0x50, 0x9d },	// push %eax; popf