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

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/GenPage/
H A DGenPage.c214 void *BaseMemory,
225 BaseMemory - buffer containing page table
280 fwrite (BaseMemory, (EFI_PAGE_NUMBER * EFI_SIZE_OF_PAGE), 1, PageFile);
297 VOID *BaseMemory; local
420 BaseMemory = CreateIdentityMappingPageTables ();
425 result = GenBinPage (BaseMemory, InputFile, OutputFile);
213 GenBinPage( void *BaseMemory, char *NoPageFileName, char *PageFileName ) argument

Completed in 103 milliseconds