Symbol: SATP_MODE_SV39
sys/arch/riscv/include/pmap.h
264
__SHIFTIN(SATP_MODE_SV39, SATP_MODE) |
sys/arch/riscv/riscv/riscv_machdep.c
1021
case SATP_MODE_SV39: