osfmk/arm/pmap.c

1478 vm_offset_t pmap_tte(pmap_t pmap, vm_offset_t virt)
1482     if ((tte_offset_begin + L1_SIZE) < addr_to_tte(pmap->pm_l1_virt, virt))
1484     return addr_to_tte(pmap->pm_l1_virt, virt);
1490 vm_offset_t pmap_pte(pmap_t pmap, vm_offset_t virt)
1492     uint32_t *tte_offset = (uint32_t *) pmap_tte(pmap, virt);
1508     if (pmap != kernel_pmap && virt >= _COMM_PAGE_BASE_ADDRESS)
1528     ptep = (uint32_t *) ((phys_to_virt(pte) + pte_offset(virt)));
1624 vm_offset_t pmap_map(vm_offset_t virt, vm_map_offset_t start_addr, vm_map_offset_t end_addr, vm_prot_t prot, unsigned int flags)
1630         pmap_enter(kernel_pmap, (vm_map_offset_t) virt, (start_addr >> PAGE_SHIFT), prot, flags, FALSE, TRUE);
1631         virt += ps;
1634     return (virt);
1755 boolean_t pmap_map_bd(vm_offset_t virt, vm_map_offset_t start, vm_map_offset_t end, vm_prot_t prot, unsigned int flags)
1773     uint32_t ptep = (uint32_t) (pmap_pte(kernel_pmap, virt));
2044     uint32_t virt = (va & L2_ADDR_MASK), par;
2050     if (virt == _COMM_PAGE_BASE_ADDRESS) {
2074         armreg_va2pa_pr_ns_write(virt);
2076         armreg_va2pa_ur_ns_write(virt);
2117     uint32_t virt = (va & L2_ADDR_MASK), par;
2123     if (virt == _COMM_PAGE_BASE_ADDRESS) {
2147         armreg_va2pa_pr_ns_write(virt);
2149         armreg_va2pa_ur_ns_write(virt);
2544 vm_offset_t pmap_extract(pmap_t pmap, vm_offset_t virt)
2549     uint32_t tte, *ttep = pmap_tte(pmap, virt);
2577         ppn |= (virt & ~(L1_SECT_ADDR_MASK));
2596         ptep = (uint32_t *) ((phys_to_virt(pte) + pte_offset(virt)));
2613         ppn |= (virt & ~(L2_ADDR_MASK));
2631     uint32_t va = (virt & L2_ADDR_MASK), par;
2672         pa |= (virt & ~(L2_ADDR_MASK));