Searched refs:Fadt1Table (Results 1 – 1 of 1) sorted by relevance
145 EFI_ACPI_1_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt1Table; in InstallXenTables() local151 Fadt1Table = NULL; in InstallXenTables()262 Fadt1Table = (EFI_ACPI_1_0_FIXED_ACPI_DESCRIPTION_TABLE *) in InstallXenTables()265 (UINTN) Fadt1Table->FirmwareCtrl; in InstallXenTables()266 DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *) (UINTN) Fadt1Table->Dsdt; in InstallXenTables()288 else if (Fadt1Table) { in InstallXenTables()