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