/* * nmi_dispatch: dispatch an nmi. * * => called by interrupts, thus preempt disabled. */