_binary_initcode_size   82 proc.c           extern char _binary_initcode_start[], _binary_initcode_size[];
_binary_initcode_size   88 proc.c           inituvm(p->pgdir, _binary_initcode_start, (int)_binary_initcode_size);