Searched refs:fsw_efi_file_read (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxFsDxe/
H A Dfsw_efi.c113 EFI_STATUS fsw_efi_file_read(IN FSW_FILE_DATA *File,
619 return fsw_efi_file_read(File, BufferSize, Buffer);
769 EFI_STATUS fsw_efi_file_read(IN FSW_FILE_DATA *File, function
777 Print(L"fsw_efi_file_read %d bytes\n", *BufferSize);

Completed in 48 milliseconds