Lines Matching full:readfile
217 ReadFile() is used to retrieve any file from a firmware volume
237 ReadFile(). If the input value of *Buffer!=NULL, it indicates
247 output buffer is to be allocated by ReadFile(). In this case,
248 ReadFile() will allocate an appropriately sized buffer from
252 ReadFile() is callable only from TPL_NOTIFY and below.
253 Behavior of ReadFile() at any EFI_TPL above TPL_NOTIFY is
582 ReadFile().
739 EFI_FV_READ_FILE ReadFile;
