Symbol: efi_copyout
sys/arch/ia64/stand/efi/libefi/efiboot.h
84
extern ssize_t efi_copyout(const vaddr_t src, void *dest, size_t len);
sys/arch/ia64/stand/ia64/efi/main.c
178
archsw.arch_copyout = efi_copyout;