Symbol: pte_pde_to_paddr
sys/arch/aarch64/include/pmap_machdep.h
405
pte_pde_to_paddr(pd_entry_t pde)
sys/arch/riscv/include/pte.h
325
pte_pde_to_paddr(pd_entry_t pde)