Symbol: pmap_get_pde_pte
sys/arch/arm/arm32/vm_machdep.c
298
if (pmap_get_pde_pte(pmap, (vaddr_t) dst, &pde, &pte) == false)
sys/arch/arm/include/arm32/pmap.h
455
bool pmap_get_pde_pte(pmap_t, vaddr_t, pd_entry_t **, pt_entry_t **);
sys/arch/arm/include/arm32/pmap.h
516
if (pmap_get_pde_pte(pmap_kernel(), va, &pdep, &ptep) == false)