osfmk/arm/pmap.c

1493     uint32_t tte, pte, *ptep;
1499     tte = *tte_offset;
1514     if ((tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_SECTION) {
1515         panic("Translation table entry is a section mapping (tte %x ttep %p ttebv %x)!\n", tte, tte_offset, pmap->pm_l1_virt);
1521     pte = L1_PTE_ADDR(tte);
2549     uint32_t tte, *ttep = pmap_tte(pmap, virt);
2563     tte = *ttep;
2568     if ((tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_SECTION) {
2572         ppn = (tte & L1_SECT_ADDR_MASK);
2583     } else if ((tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_PAGE_TABLE) {
2589         pte = L1_PTE_ADDR(tte);
2620         kprintf("pmap_extract: invalid tte (ttep %x tte %x)\n", ttep, tte);
2770     vm_offset_t *tte = (vm_offset_t *) pmap_tte(map, v);
2796         tte = (vm_offset_t *) pmap_tte(map, v);
2812         if ((*tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_SECTION)
2819     *tte = ((page->phys_page << PAGE_SHIFT) & L1_PTE_ADDR_MASK) | L1_TYPE_PTE;
3447     pt_entry_t *tte;
3468         tte = (pt_entry_t *)pmap_tte(map, sva);
3469         assert(tte);
3470         if (tte && ((*tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_PAGE_TABLE)) {
3472             spte_begin = (pt_entry_t *) (phys_to_virt(L1_PTE_ADDR(*tte)));
3847     register pt_entry_t *tte;
3892         tte = (pt_entry_t *)pmap_tte(map, sva);
3893         assert(tte);
3894         if (tte && ((*tte & ARM_PAGE_MASK_VALUE) == ARM_PAGE_PAGE_TABLE)) {
3896             spte_begin = (pt_entry_t *) (phys_to_virt(L1_PTE_ADDR(*tte)));
3961     vm_offset_t *tte, *ntte;
3967     kprintf("pmap_nest: %p[0x%08llx] => %p[0x%08llx], %d tte entries\n", subord, va_start, grand, nstart, size >> L1SHIFT);
4036         tte = (vm_offset_t *)pmap_tte(grand, vaddr);
4037         if (tte == 0)
4038             panic("pmap_nest: no tte, grand %p vaddr 0x%x", grand, vaddr);
4043         *tte = target;
4063     vm_offset_t *tte;
4090         tte = (vm_offset_t *)pmap_tte(grand, (vm_map_offset_t) vaddr);
4091         if (tte == 0)
4092             panic("pmap_unnest: no tte, grand %p vaddr 0x%llx\n", grand, vaddr);
4093         *tte = 0;