APIC_MODE_NMI    1486 arch/x86/kernel/apic_32.c 	value = SET_APIC_DELIVERY_MODE(value, APIC_MODE_NMI);
APIC_MODE_NMI    1424 arch/x86/kernel/apic_64.c 	value = SET_APIC_DELIVERY_MODE(value, APIC_MODE_NMI);