Searched refs:IPXE_DOWNLOAD_FILE (Results 1 – 2 of 2) sorted by relevance
17 typedef void *IPXE_DOWNLOAD_FILE; typedef22 IN VOID *, OUT IPXE_DOWNLOAD_FILE *);24 IN IPXE_DOWNLOAD_FILE, IN EFI_STATUS);
115 IPXE_DOWNLOAD_FILE token; in do_download_ramdisk()