mmu_switch        111 sys/include/hal.h void	  mmu_switch(pgd_t);
mmu_switch        514 sys/mem/vm.c   		mmu_switch(kernel_map.pgd);
mmu_switch        655 sys/mem/vm.c   		mmu_switch(map->pgd);
mmu_switch        783 sys/mem/vm.c   	mmu_switch(pgd);