setpte4
setpte4(va, *pte);
setpte4(va, *pte++ & ~PG_MBZ);
setpte4(va, pte);
setpte4(va, pte);
setpte4(p, 0);
setpte4(p, getpte4(p) & ~PG_NC);
setpte4(p, getpte4(p) & ~(PG_NC|PG_W));
setpte4(p, 0);
setpte4(p, getpte4(p) & ~PG_NC);
setpte4(va, 0);
setpte4(pteva, 0);
setpte4(pteva, 0);
setpte4(va, pte & ~PG_W);
setpte4(pteva, getpte4(pteva) & ~PG_W);
setpte4(va, pte);
setpte4(va, 0);
setpte4(va, pteproto & ~PG_MBZ);
setpte4(va, 0);
setpte4(va, pteproto & ~PG_MBZ);
setpte4(va, pteproto & ~PG_MBZ);
setpte4(va, 0);
setpte4(va, pte);
setpte4(va, pte);
setpte4(va, 0);
setpte4(sva, spte);
setpte4(dva, dpte);
setpte4(sva, 0);
setpte4(dva, 0);
setpte4(va, pte);
setpte4(va, pte);
setpte4(va, pte);
setpte4(va, pte0);
setpte4(va, pte);
setpte4(va, pte);