pmap_pdp_ctor_intel
pmap_pdp_ctor_intel(pmap->pm_pdir_intel);
void pmap_pdp_ctor_intel(pd_entry_t *);