Searched refs:ttb (Results 1 – 3 of 3) sorted by relevance
43 void reinit_mmu(uint32_t ttb, uint32_t aux_clr, uint32_t aux_set);326 cpuinfo_reinit_mmu(uint32_t ttb) in cpuinfo_reinit_mmu() argument334 reinit_mmu(ttb, actlr_mask, actlr_set); in cpuinfo_reinit_mmu()
6190 u_int cpuid, ttb; in pmap_activate() local6207 ttb = pmap_ttb_get(pmap); in pmap_activate()6212 td->td_pcb->pcb_pagedir = ttb; in pmap_activate()6213 cp15_ttbr_set(ttb); in pmap_activate()
128 void cpuinfo_reinit_mmu(uint32_t ttb);