Symbol: efi_readin
sys/arch/ia64/stand/efi/libefi/efiboot.h
85
extern ssize_t efi_readin(const int fd, vaddr_t dest, size_t len);
sys/arch/ia64/stand/ia64/efi/main.c
179
archsw.arch_readin = efi_readin;