Searched defs:ttb (Results 1 – 2 of 2) sorted by relevance
326 cpuinfo_reinit_mmu(uint32_t ttb) in cpuinfo_reinit_mmu()
6190 u_int cpuid, ttb; in pmap_activate() local