Searched refs:Tables (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/AcpiPlatformDxe/ |
| H A D | AcpiPlatform.c | 235 FillSysTablesInfo(VOID **Tables, UINT32 TablesSize) argument
286 Tables[Table++] = Ptr;
292 Tables[Table] = FindSignature(TablesPage, SIGNATURE_32('R', 'S', 'D', 'T'));
293 DEBUG ((EFI_D_ERROR, "RSDT: %p\n", Tables[Table]));
294 ASSERT(Tables[Table] != NULL);
299 Tables[Table] = FindSignature(TablesPage, SIGNATURE_32('X', 'S', 'D', 'T'));
300 DEBUG ((EFI_D_ERROR, "XSDT: %p\n", Tables[Table]));
301 ASSERT(Tables[Table] != NULL);
306 Tables[Table] = NULL;
|
Completed in 45 milliseconds