xous-kernel/xous-riscv/src/register/stval.rs

//! stval register

read_csr_as_usize!(0x143, __read_stval);