w_sepc            131 kernel/trap.c    w_sepc(p->trapframe->epc);
w_sepc            162 kernel/trap.c    w_sepc(sepc);