Symbol: PTE_PPN
sys/arch/riscv/include/pte.h
120
#define PTE_TO_PA(pte) (__SHIFTOUT((pte), PTE_PPN) << PGSHIFT)
sys/arch/riscv/riscv/riscv_machdep.c
767
const uint64_t maxppn = __SHIFTOUT_MASK(PTE_PPN) - 1;
sys/arch/riscv/riscv/riscv_machdep.c
985
paddr_t pa = __SHIFTOUT(entry, PTE_PPN) << PGSHIFT;