Symbol: pmap_get_pde_pte
sys/arch/arm/arm/bus_dma.c
931
(void) pmap_get_pde_pte(pmap, vaddr, &pde, &ptep);
sys/arch/arm/arm/db_interface.c
233
if (pmap_get_pde_pte(pmap, (vaddr_t) dst, &pde, &pte) == FALSE)
sys/arch/arm/include/pmap.h
243
int pmap_get_pde_pte(pmap_t, vaddr_t, pd_entry_t **, pt_entry_t **);
sys/arch/arm/include/pmap.h
276
if (pmap_get_pde_pte(pmap_kernel(), va, &pdep, &ptep) == FALSE)