phnum              18 kernel/elf.h     ushort phnum;
phnum              53 kernel/exec.c    for(i=0, off=elf.phoff; i<elf.phnum; i++, off+=sizeof(ph)){