csr_read
return csr_read(time);
#define rdcycle() csr_read(cycle)
#define rdtime() csr_read(time)
#define rdinstret() csr_read(instret)
#define rdhpmcounter(n) csr_read(hpmcounter##n)
KASSERTMSG((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) == 0,
KASSERTMSG((csr_read(sstatus) & (SSTATUS_SUM)) == 0,
KASSERTMSG((csr_read(sstatus) & (SSTATUS_SPP | SSTATUS_SIE)) ==
KASSERTMSG((csr_read(sstatus) & (SSTATUS_SUM)) == 0,