Searched refs:pmap64_pml4 (Results 1 - 3 of 3) sorted by relevance
| /xnu-2782.1.97/osfmk/x86_64/ |
| H A D | pmap_pcid.c | 283 pml4_entry_t *pml4 = pmap64_pml4(tpmap, 0ULL);
|
| H A D | pmap.c | 1280 pml4 = pmap64_pml4(p, 0ULL);
1591 pml4p = pmap64_pml4(map, vaddr); /* refetch under lock */
1830 pte = pmap64_pml4(pmap, vaddr);
2543 if (((cv & PML4MASK) == 0) && (pmap64_pml4(ipmap, cv) == 0)) {
2564 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)))));
|
| /xnu-2782.1.97/osfmk/i386/ |
| H A D | pmap_internal.h | 991 pmap64_pml4(pmap_t pmap, vm_map_offset_t vaddr) function
1014 pml4 = pmap64_pml4(pmap, vaddr);
|
Completed in 19 milliseconds