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