vm_bootstrap       49 kern/include/vm.h void vm_bootstrap(void);
vm_bootstrap      125 kern/startup/main.c 	vm_bootstrap();