Searched refs:Fadt2Table (Results 1 – 1 of 1) sorted by relevance
144 EFI_ACPI_2_0_FIXED_ACPI_DESCRIPTION_TABLE *Fadt2Table; in InstallXenTables() local150 Fadt2Table = NULL; in InstallXenTables()212 Fadt2Table = (EFI_ACPI_2_0_FIXED_ACPI_DESCRIPTION_TABLE *) in InstallXenTables()215 (UINTN) Fadt2Table->FirmwareCtrl; in InstallXenTables()216 DsdtTable = (EFI_ACPI_DESCRIPTION_HEADER *) (UINTN) Fadt2Table->Dsdt; in InstallXenTables()274 if (Fadt2Table) { in InstallXenTables()