switchkvm         178 defs.h         void            switchkvm(void);
switchkvm          48 main.c           switchkvm(); 
switchkvm         287 proc.c               switchkvm();
switchkvm         152 vm.c             switchkvm();