readseg            15 bootmain.c     void readseg(uchar*, uint, uint);
readseg            28 bootmain.c       readseg((uchar*)elf, 4096, 0);
readseg            39 bootmain.c         readseg(pa, ph->filesz, ph->off);