efi_copyin
ssize_t efi_copyin(const void *src, vm_offset_t dest, const size_t len);
.arch_copyin = efi_copyin,