efi_copyout
ssize_t efi_copyout(const vm_offset_t, void *, const size_t);
archsw.arch_copyout = efi_copyout;