VECTX_HANDLE
shdr = alloc_pread(VECTX_HANDLE(&ef), ef.ehdr->e_shoff, size);
shstrtab = alloc_pread(VECTX_HANDLE(&ef), shdr[ef.ehdr->e_shstrndx].sh_offset,
err = kern_pread(VECTX_HANDLE(&ef), dest, sh_meta->sh_size, sh_meta->sh_offset);
err = kern_pread(VECTX_HANDLE(&ef), dest, sh_data[0]->sh_size,
err = kern_pread(VECTX_HANDLE(&ef), dest, sh_data[1]->sh_size,
bytes_read = VECTX_READ(VECTX_HANDLE(ef), ef->firstpage, PAGE_SIZE);
if (kern_pread(VECTX_HANDLE(ef),
shdr = alloc_pread(VECTX_HANDLE(ef), ehdr->e_shoff, chunk);
shstr = alloc_pread(VECTX_HANDLE(ef),
if (VECTX_LSEEK(VECTX_HANDLE(ef), (off_t)shdr[i].sh_offset, SEEK_SET) == -1) {
result = archsw.arch_readin(VECTX_HANDLE(ef), lastaddr, shdr[i].sh_size);
bytes_read = VECTX_READ(VECTX_HANDLE(&ef), hdr, sizeof(*hdr));
shdr = alloc_pread(VECTX_HANDLE(ef), (off_t)hdr->e_shoff, shdrbytes);
if (kern_pread(VECTX_HANDLE(ef), (vm_offset_t)cshdr->sh_addr,
got = archsw.arch_readin(VECTX_HANDLE(fd), laddr, 4096);
if (archsw.arch_readin(VECTX_HANDLE(fd), mem, size) != size) {