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