pdp_entry_t
pdp_entry_t pdpe;
(pdpeindex * sizeof(pdp_entry_t));
((pdp_entry_t *)KPDPphys)[NKPML4E * NPDPEPG - NKPDPE + i] =
((pdp_entry_t *)KPDPphys)[NKPML4E * NPDPEPG - NKPDPE + i] |=
((pdp_entry_t *)KPDPphys)[i + j] =
((pdp_entry_t *)KPDPphys)[i + j] |=
((pdp_entry_t *)DMPDPphys)[i] = DMPDphys +
((pdp_entry_t *)DMPDPphys)[i] |=
((pdp_entry_t *)DMPDPphys)[i] =
((pdp_entry_t *)DMPDPphys)[i] |=
((pdp_entry_t *)KPML4phys)[PML4PML4I] = KPML4phys;
((pdp_entry_t *)KPML4phys)[PML4PML4I] |=
((pdp_entry_t *)KPML4phys)[DMPML4I + j] =
((pdp_entry_t *)KPML4phys)[KPML4I + j] =
((pdp_entry_t *)KPML4phys)[KPML4I + j] |=
kernel_pmap->pm_pml4 = (pdp_entry_t *) (PTOV_OFFSET + KPML4phys);
pdp_entry_t *pd;
pdp_entry_t *pd, newpd;
newpd = (pdp_entry_t)
pdp_entry_t *
pdp_entry_t *pd;
pd = (pdp_entry_t *)PHYS_TO_DMAP(pdp_pte & PG_FRAME);
pdp_entry_t *
pmap_pd_to_pt(pdp_entry_t pd_pte, vm_offset_t va)
pdp_entry_t *pd;
pdp_entry_t *pdp;
pdp_entry_t *pdp;
pdp = (pdp_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m3));
pdp_entry_t newpdp;
newpdp = (pdp_entry_t)(paddr |
pdp_entry_t *pdpe;
pdp_entry_t *pdpe;
static __inline pdp_entry_t *
pdp_entry_t *pdpe;
pdpe = (pdp_entry_t *)PHYS_TO_DMAP(*pml4e & VPTE_FRAME);
static __inline pdp_entry_t *
pmap_pdpe_to_pde(pdp_entry_t *pdpe, vm_offset_t va)
pdp_entry_t *pdpe;
pdp_entry_t *pdpe;
pdp_entry_t *KPDPvirt;
KPDPvirt = (pdp_entry_t *)PHYS_TO_DMAP(KPDPphys);