r_stval            72 kernel/trap.c      printf("            sepc=0x%lx stval=0x%lx\n", r_sepc(), r_stval());
r_stval           149 kernel/trap.c      printf("scause=0x%lx sepc=0x%lx stval=0x%lx\n", scause, r_sepc(), r_stval());