mmu_terminate     210 bsp/hal/arm/arch/mmu.c mmu_terminate(pgd_t pgd)
mmu_terminate     180 bsp/hal/x86/arch/mmu.c mmu_terminate(pgd_t pgd)