Searched refs:pmap64_pdpt (Results 1 - 4 of 4) sorted by relevance

/xnu-2422.115.4/osfmk/i386/
H A Dpmap_x86_common.c121 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 Dpmap_internal.h1004 pmap64_pdpt(pmap_t pmap, vm_map_offset_t vaddr) function
1026 pdpt = pmap64_pdpt(pmap, vaddr);
H A Dpmap.h520 extern pdpt_entry_t *pmap64_pdpt(
/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap.c1553 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