PPROT_WRITE
pte |= PPROT_WRITE;
pv_changepte4m(pg, 0, PPROT_WRITE);
(pte & PPROT_WRITE)
pte = pte0 | PPROT_WRITE;