Searched refs:pmap64_pdpt (Results 1 - 4 of 4) sorted by relevance
/xnu-2422.115.4/osfmk/i386/ |
H A D | pmap_x86_common.c | 121 npde = pmap64_pdpt(subord, nvaddr); 127 npde = pmap64_pdpt(subord, nvaddr); 157 npde = pmap64_pdpt(subord, vaddr); 161 pde = pmap64_pdpt(grand, vaddr); 166 pde = pmap64_pdpt(grand, vaddr); 243 pde = pmap64_pdpt(grand, vaddr); 279 pdpte = pmap64_pdpt(p, *s); 285 pdpte = pmap64_pdpt(p, *e);
|
H A D | pmap_internal.h | 1004 pmap64_pdpt(pmap_t pmap, vm_map_offset_t vaddr) function 1026 pdpt = pmap64_pdpt(pmap, vaddr);
|
H A D | pmap.h | 520 extern pdpt_entry_t *pmap64_pdpt(
|
/xnu-2422.115.4/osfmk/x86_64/ |
H A D | pmap.c | 1553 if (pmap64_pdpt(map, vaddr) != PDPT_ENTRY_NULL) { 1599 while ((pdptp = pmap64_pdpt(map, vaddr)) == PDPT_ENTRY_NULL) { 1665 pdptp = pmap64_pdpt(map, vaddr); /* refetch under lock */ 1809 if(pmap64_pdpt(pmap, vaddr) == PDPT_ENTRY_NULL) { 1829 pte = pmap64_pdpt(pmap, vaddr); 2543 kprintf("W+X PTE at 0x%lx, P4: 0x%llx, P3: 0x%llx, P2: 0x%llx, PT: 0x%llx, VP: %u\n", cv, *pmap64_pml4(ipmap, cv), *pmap64_pdpt(ipmap, cv), *pmap64_pde(ipmap, cv), *ptep, pmap_valid_page((ppnum_t)(i386_btop(pte_to_pa(*ptep)))));
|
Completed in 33 milliseconds