efi_copyout
ssize_t efi_copyout(const vm_offset_t src, void *dest, const size_t len);
.arch_copyout = efi_copyout,