amd64/amd64/pmap.c

518 pmap_pml4e(pmap_t pmap, vm_offset_t va)
542 	pml4e = pmap_pml4e(pmap, va);
2109 		pml4 = pmap_pml4e(pmap, va);
2134 		pdppg = PHYS_TO_VM_PAGE(*pmap_pml4e(pmap, va) & PG_FRAME);
3613 		pml4e = pmap_pml4e(pmap, sva);
3863 		pml4e = pmap_pml4e(pmap, sva);
4804 		pml4e = pmap_pml4e(src_pmap, addr);
5823 		pml4e = pmap_pml4e(pmap, sva);
6720 	pml4 = pmap_pml4e(pmap, va);
6764 	pml4 = pmap_pml4e(pmap, va);