efi_copyin
ssize_t efi_copyin(const void *, vm_offset_t, const size_t);
archsw.arch_copyin = efi_copyin;