Searched refs:efi_readin (Results 1 – 3 of 3) sorted by relevance
57 efi_readin(int fd, vaddr_t va, size_t len) in efi_readin() function
85 extern ssize_t efi_readin(const int fd, vaddr_t dest, size_t len);
179 archsw.arch_readin = efi_readin; in main()