PG_PS
PT2[i] |= PG_V | PG_RW | PG_PS | PG_U;
if (nlevels > 0 && (pte32 & PG_PS) != 0)
if (nlevels > 0 && (pte & PG_PS) != 0) {