PG_RW
PT4[i] |= PG_V | PG_RW | PG_U;
PT3[i] |= PG_V | PG_RW | PG_U;
PT2[i] |= PG_V | PG_RW | PG_PS | PG_U;
PT3[i] |= PG_V | PG_RW | PG_U;
PT2[i] |= PG_V | PG_RW | PG_PS | PG_U;
PT4[i] |= PG_V | PG_RW | PG_U;
(writable && (pte32 & PG_RW) == 0)) {
(writable && (pte & PG_RW) == 0)) {