Searched refs:ipmap (Results 1 – 1 of 1) sorted by relevance
| /xnu-8019.80.24/osfmk/x86_64/ |
| H A D | pmap.c | 3081 pmap_permissions_verify(pmap_t ipmap, vm_map_t ivmmap, vm_offset_t sv, vm_offset_t ev) in pmap_permissions_verify() argument
3087 assert(!is_ept_pmap(ipmap)); in pmap_permissions_verify()
3099 if (((cv & PML4MASK) == 0) && (pmap64_pml4(ipmap, cv) == 0)) { in pmap_permissions_verify()
3108 if (((cv & PDMASK) == 0) && (pmap_pde(ipmap, cv) == 0)) { in pmap_permissions_verify()
3118 pt_entry_t *ptep = pmap_pte(ipmap, cv); in pmap_permissions_verify()
3122 …: 0x%llx, PT: 0x%llx, VP: %u\n", cv, *pmap64_pml4(ipmap, cv), *pmap64_pdpt(ipmap, cv), *pmap_pde(i… in pmap_permissions_verify()
3171 pt_entry_t *ptep = pmap_pte(ipmap, pcv); in pmap_permissions_verify()
|