sepc              139 kernel/trap.c    uint64 sepc = r_sepc();
sepc              160 kernel/trap.c    w_sepc(sepc);