u_int32_t get_pte(u_int32_t);
void set_pte(u_int32_t va, u_int32_t pa);
void mmu_atc_flush (u_int32_t va);