r_sepc             51 kernel/trap.c    p->trapframe->epc = r_sepc();
r_sepc             72 kernel/trap.c      printf("            sepc=0x%lx stval=0x%lx\n", r_sepc(), r_stval());
r_sepc            138 kernel/trap.c    uint64 sepc = r_sepc();
r_sepc            149 kernel/trap.c      printf("scause=0x%lx sepc=0x%lx stval=0x%lx\n", scause, r_sepc(), r_stval());