switchkvm         185 defs.h         void            switchkvm(void);
switchkvm          44 main.c           switchkvm();
switchkvm         347 proc.c               switchkvm();
switchkvm         144 vm.c             switchkvm();