kern_pread
int kern_pread(int fd, vm_offset_t dest, size_t len, off_t off);
if (kern_pread(ef->fd, phdr[i].p_vaddr + off + fpcopy,
if (kern_pread(ef->fd, (vm_offset_t)shdr[i].sh_addr,