Symbol: SATP_MODE_SV39
sys/arch/riscv64/riscv64/pmap.c
1275
pmap_kernel()->pm_satp = SATP_MODE_SV39 | /* ASID = 0 */
sys/arch/riscv64/riscv64/pmap.c
895
pm->pm_satp |= SATP_MODE_SV39;