Searched refs:EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE (Results 1 – 3 of 3) sorted by relevance
63 EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE Gtdt;73 EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE,88 sizeof (EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE) // UINT32 PlatfromTimerOffset
1265 } EFI_ACPI_5_1_GENERIC_TIMER_DESCRIPTION_TABLE; typedef