SATP_PFN_MASK 44 boot/arch/riscv64/src/asm.S #define SATP_PFN_MASK 0x00000fffffffffff SATP_PFN_MASK 40 kernel/arch/riscv64/include/arch/cpu.h #define SATP_PFN_MASK UINT64_C(0x00000fffffffffff)