mmu_terminate     109 sys/include/hal.h void	  mmu_terminate(pgd_t);
mmu_terminate     517 sys/mem/vm.c   	mmu_terminate(map->pgd);