Symbol: pte_pde_ptpage
sys/arch/aarch64/include/pmap_machdep.h
389
pte_pde_ptpage(paddr_t pa, bool kernel_p)
sys/arch/riscv/include/pte.h
313
pte_pde_ptpage(paddr_t pa, bool kernel_p)