PUSHF              40 arch/x86/boot/cpuflags.c #define PUSHF "pushfq"
PUSHF              43 arch/x86/boot/cpuflags.c #define PUSHF "pushfl"