xpmap_mtop_masked
return xpmap_mtop_masked(pte & PTE_FRAME);
return (xpmap_mtop_masked(mpa) | (mpa & ~PTE_4KFRAME));