sun2_get_pte
va, sun2_get_pte(va));
pte = (sun2_get_pte(0) & ~PG_FRAME);
static u_int sun2_get_pte(vaddr_t);