sun2_set_pte
sun2_set_pte(pgva, pte);
sun2_set_pte(MEM_CHUNK1_COPY_VIRT + off,
static void sun2_set_pte(vaddr_t, u_int);