Symbol: PPN
sys/arch/riscv64/riscv64/pmap.c
1276
((PPN(pt1pa) & SATP_PPN_MASK) << SATP_PPN_SHIFT);
sys/arch/riscv64/riscv64/pmap.c
894
pm->pm_satp |= SATP_FORMAT_PPN(PPN(l1pa));