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

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/
H A DGenPage.c44 UINT32 gPageTableOffsetInFile = EFI_PAGE_BASE_OFFSET_IN_LDR; variable
262 if (FileSize > gPageTableOffsetInFile) {
263 Error (NoPageFileName, 0, 0x4002, "Invalid parameter option", "Input file size (0x%lx) exceeds the Page Table Offset (0x%x)", FileSize, (unsigned) gPageTableOffsetInFile);
279 fseek (PageFile, gPageTableOffsetInFile, SEEK_SET);
362 gPageTableOffsetInFile = (UINT32) TempValue;

Completed in 40 milliseconds