mmu_switch        236 bsp/hal/arm/arch/mmu.c mmu_switch(pgd_t pgd)
mmu_switch        206 bsp/hal/x86/arch/mmu.c mmu_switch(pgd_t pgd)