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

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/AcpiPlatformDxe/
H A DAcpiPlatform.c235 FillSysTablesInfo(VOID **Tables, UINT32 TablesSize) argument
291 ASSERT(Table < TablesSize);
298 ASSERT(Table < TablesSize);
305 DEBUG((DEBUG_INFO, "We found %d tables from %d\n", Table, TablesSize));

Completed in 62 milliseconds