Symbol: cpuinfo_reinit_mmu
sys/arm/arm/mp_machdep.c
145
cpuinfo_reinit_mmu(pmap_kern_ttb);
sys/arm/arm/pmap-v6.c
895
cpuinfo_reinit_mmu(pmap_kern_ttb);
sys/arm/include/cpuinfo.h
126
void cpuinfo_reinit_mmu(uint32_t ttb);