PG_PS_PDP_FRAME
pa = ((pte & PG_PS_PDP_FRAME) | (addr & PDPMASK)) &
return ((pdp & PG_PS_PDP_FRAME) | (va & PDPMASK));