Searched refs:cpuinfo_reinit_mmu (Results 1 – 4 of 4) sorted by relevance
126 void cpuinfo_reinit_mmu(uint32_t ttb);
145 cpuinfo_reinit_mmu(pmap_kern_ttb); in init_secondary()
336 cpuinfo_reinit_mmu(uint32_t ttb) in cpuinfo_reinit_mmu() function
895 cpuinfo_reinit_mmu(pmap_kern_ttb); in pmap_bootstrap_prepare()