XEN_EFLAGS_NMI     28 arch/x86/xen/xen-asm_32.S #define XEN_EFLAGS_NMI	0x80000000
XEN_EFLAGS_NMI     27 arch/x86/xen/xen-asm_64.S #define XEN_EFLAGS_NMI	0x80000000