DIE_NMI
if (likely(val != DIE_NMI))
switch (notify_die(DIE_NMI, "NMI", regs, 0, vec & 0xff, SIGINT)) {
if (notify_die(DIE_NMI, "nmi", regs, 0,
case DIE_NMI: