inituvm           174 defs.h         void            inituvm(pde_t*, char*, uint);
inituvm            88 proc.c           inituvm(p->pgdir, _binary_initcode_start, (int)_binary_initcode_size);