pv_changepte4m
pv_changepte4m(pg, SRMMU_PG_C, 0);
pv_changepte4m(pg, 0, SRMMU_PG_C);
pv_changepte4m(pg, 0, SRMMU_PG_C);
pv_changepte4m(pg, 0, PPROT_WRITE);
/*static*/ void pv_changepte4m(struct vm_page *, int, int);