r_stval            72 kernel/trap.c              vmfault(p->pagetable, r_stval(), (r_scause() == 13)? 1 : 0) != 0) {
r_stval            76 kernel/trap.c      printf("            sepc=0x%lx stval=0x%lx\n", r_sepc(), r_stval());
r_stval           150 kernel/trap.c      printf("scause=0x%lx sepc=0x%lx stval=0x%lx\n", scause, r_sepc(), r_stval());