efi_copyin
efi_copyin(ep->ev_name, addr, strlen(ep->ev_name));
efi_copyin("=", addr, 1);
efi_copyin(ep->ev_value, addr, strlen(ep->ev_value));
efi_copyin("", addr, 1);
efi_copyin("", addr, 1);
efi_copyin(&x, a, sizeof(x)); \
efi_copyin(s, a, strlen(s) + 1); \
efi_copyin(&s, a, sizeof(s)); \
efi_copyin(mm->md_data, a, mm->md_size); \
extern ssize_t efi_copyin(const void *src, vaddr_t dest, size_t len);
archsw.arch_copyin = efi_copyin;