r_stval            72 kernel/trap.c               vmfault(p->pagetable, p->sz, r_stval(),
r_stval            77 kernel/trap.c      printk("            sepc=0x%lx stval=0x%lx\n", r_sepc(), r_stval());
r_stval           152 kernel/trap.c             r_stval());