getpte4
pte = getpte4(va);
pte = getpte4(sva);
pte = getpte4(ava);
*pte = getpte4(va) | PG_S;
pte = getpte4(va);
tpte = getpte4(va);
return (bits && (getpte4(va) & bits) == bits ? -1 : 0);
pte = getpte4(va);
pte = getpte4(va);
pte = getpte4(va);
pte = getpte4(va);
((getpte4(kernel_text) & PG_PFNUM) << PGSHIFT);
sp->sg_pte[i] = getpte4(p + i * NBPG) | PG_WIRED;
setpte4(p, getpte4(p) & ~PG_NC);
setpte4(p, getpte4(p) & ~(PG_NC|PG_W));
setpte4(p, getpte4(p) & ~PG_NC);
mmupte = inmmu ? getpte4(va) : 0;
mmupte = inmmu ? getpte4(pteva) : 0;
pte, getpte4(pteva));
pte = getpte4(pteva);
pte = getpte4(va);
setpte4(pteva, getpte4(pteva) & ~PG_W);
pte = getpte4(va);
pte = getpte4(va);
mmupte = inmmu ? getpte4(va) : 0;
pte = getpte4(va);
pte = getpte4(va);
int pte = getpte4(va);
int pte = getpte4(va);
pte0 = getpte4(va);
pte = getpte4(va);
getpte4((u_long)si->si_devaddr & ~PGOFSET));