SATP_MODE_SV39 48 boot/arch/riscv64/src/asm.S #define SATP_MODE_SV39 0x8000000000000000 SATP_MODE_SV39 44 kernel/arch/riscv64/include/arch/cpu.h #define SATP_MODE_SV39 UINT64_C(0x8000000000000000)