osfmk/arm/pmap.c

3471             pt_entry_t *spte_begin;
3472             spte_begin = (pt_entry_t *) (phys_to_virt(L1_PTE_ADDR(*tte)));
3473             spte = (vm_offset_t *)((vm_offset_t) spte_begin + (vm_offset_t) pte_offset(sva));
3474             epte = (vm_offset_t *)((vm_offset_t) spte_begin + (vm_offset_t) pte_offset(lva));
3481                 epte = (vm_offset_t *)((vm_offset_t) spte_begin + (0x400 * mb_off) + (vm_offset_t) pte_offset(lva));
3895             pt_entry_t *spte_begin;
3896             spte_begin = (pt_entry_t *) (phys_to_virt(L1_PTE_ADDR(*tte)));
3897             spte = (pt_entry_t *)((vm_offset_t) spte_begin + (vm_offset_t) pte_offset(sva));
3898             epte = (pt_entry_t *)((vm_offset_t) spte_begin + (vm_offset_t) pte_offset(lva));
3905                 epte = (pt_entry_t *)((vm_offset_t) spte_begin + (0x400 * mb_off) + (vm_offset_t) pte_offset(lva));