misc_intmask_get
const uint32_t mask = misc_intmask_get() | __BIT(irq);
(void) misc_intmask_get(); /* flush wbuffer */
const uint32_t mask = misc_intmask_get() & ~__BIT(ih->ih_irq);
(void) misc_intmask_get(); /* flush wbuffer */
mask = misc_intmask_get();