SATP_MODE_SV48 49 boot/arch/riscv64/src/asm.S #define SATP_MODE_SV48 0x9000000000000000 SATP_MODE_SV48 45 kernel/arch/riscv64/include/arch/cpu.h #define SATP_MODE_SV48 UINT64_C(0x9000000000000000)