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