efi_readin
ssize_t efi_readin(const int fd, vm_offset_t dest, const size_t len);
archsw.arch_readin = efi_readin;