osfmk/arm/pmap.c

1344             ptep = (pt_entry_t *)pmap_pte(pmap, vaddr);
1439     if ((pte = (pt_entry_t *)pmap_pte(map, va)) == (pt_entry_t *) 0)
1488  * pmap_pte
1490 vm_offset_t pmap_pte(pmap_t pmap, vm_offset_t virt)
1773     uint32_t ptep = (uint32_t) (pmap_pte(kernel_pmap, virt));
2027     ptep = (uint32_t) pmap_pte(pmap, (vm_offset_t) va);
2875     while ((pte = (pt_entry_t)pmap_pte(pmap, va)) == 0) {
3248             ptep = (pt_entry_t *)pmap_pte(kernel_pmap, (vm_map_offset_t) kva);
3279         pte = (pt_entry_t *)pmap_pte(kernel_pmap, dva);
3637             pte = (pt_entry_t *)pmap_pte(pmap, vaddr);