SATP_MODE_MASK 46 boot/arch/riscv64/src/asm.S #define SATP_MODE_MASK 0xf000000000000000 SATP_MODE_MASK 42 kernel/arch/riscv64/include/arch/cpu.h #define SATP_MODE_MASK UINT64_C(0xf000000000000000)