Rename sbadaddr to satp
[riscv-tests.git] / env
1