NMI_REASON_PORT
return inb(NMI_REASON_PORT);
outb(reason, NMI_REASON_PORT);
outb(reason, NMI_REASON_PORT);
outb(reason, NMI_REASON_PORT);
outb(reason, NMI_REASON_PORT);
outb(reason, NMI_REASON_PORT);