RMIXL_PIC_IRTENTRYC1_NMI
KASSERT((irtc1 & RMIXL_PIC_IRTENTRYC1_NMI) == 0);
KASSERT((irtc1 & RMIXL_PIC_IRTENTRYC1_NMI) == 0);
KASSERT((irtc1 & RMIXL_PIC_IRTENTRYC1_NMI) == 0);
KASSERT((irtc1 & RMIXL_PIC_IRTENTRYC1_NMI) == 0);