vm_switch          85 sys/include/vm.h void	 vm_switch(vm_map_t);
vm_switch         245 sys/kern/sched.c 		vm_switch(next->task->map);
vm_switch         686 sys/mem/vm.c   	vm_switch(map);