get_pte
extern int get_pte(u_int, u_long *, u_short *);
switch (get_pte(addr, pte, &psr)) {
u_int get_pte(vaddr_t);
else pte = get_pte(va);
pte = get_pte(va);
pte = get_pte((vaddr_t) (h + o));
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
KASSERT((get_pte(va) & PG_VALID) == 0);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(va);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
*pt++ = get_pte(va);
pte = get_pte(va);
oldpte = get_pte(pgva);
pte = get_pte(pgva);
swapout[pte_number] = get_pte(va);
pte = get_pte(va);
u_int get_pte(vaddr_t va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(pgva);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
pte = get_pte(va);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
old_pte = get_pte(pgva);
KASSERT((get_pte(va) & PG_VALID) == 0);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(va);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
pte = get_pte(pgva);
*pt++ = get_pte(va);
pte = get_pte(va);
oldpte = get_pte(pgva);
pte = get_pte(pgva);
oldpte = get_pte(pgva);