PX_SET_MP_PFN
PX_SET_MP_PFN(mp, 0, PX_MP_PFN0(mp) - pfn_adj);
PX_SET_MP_PFN(mp, 0, PX_MP_PFN0(mp) - pfn_adj); /* pfnlst[0] */