Searched refs:pmap_get_pde_pte (Results 1 – 4 of 4) sorted by relevance
| /openbsd/src/sys/arch/arm/include/ |
| D | pmap.h | 243 int pmap_get_pde_pte(pmap_t, vaddr_t, pd_entry_t **, pt_entry_t **);
276 if (pmap_get_pde_pte(pmap_kernel(), va, &pdep, &ptep) == FALSE) in vtopte()
|
| /openbsd/src/sys/arch/arm/arm/ |
| D | db_interface.c | 233 if (pmap_get_pde_pte(pmap, (vaddr_t) dst, &pde, &pte) == FALSE) in db_write_text()
|
| D | bus_dma.c | 931 (void) pmap_get_pde_pte(pmap, vaddr, &pde, &ptep); in _bus_dmamap_load_buffer()
|
| D | pmap7.c | 2181 pmap_get_pde_pte(pmap_t pm, vaddr_t va, pd_entry_t **pdp, pt_entry_t **ptp) in pmap_get_pde_pte() function
|