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