SR_SIE
#define ENABLE_INTERRUPTS() csr_sstatus_set(SR_SIE)
#define DISABLE_INTERRUPTS() csr_sstatus_clear(SR_SIE)
s = (csr_sstatus_read() & SR_SIE) != 0; \
csr_sstatus_clear(SR_SIE); // DISABLE_INTERRUPTS
csr_sstatus_set(SR_SIE); // ENABLE_INTERRUPTS
KASSERT(__SHIFTOUT(tf->tf_sr, SR_SIE) == 0);
KASSERT(__SHIFTOUT(tf->tf_sr, SR_SIE) == 0);
if ((csr_sstatus_read() & SR_SIE) == 0) {
KASSERT(__SHIFTOUT(tf->tf_sr, SR_SIE) == 0);
csr_sstatus_set(SR_SIE);
KASSERT(__SHIFTOUT(tf->tf_sr, SR_SIE) == 0);