Searched refs:EFI_ACPI_5_0_GENERIC_TIMER_DESCRIPTION_TABLE (Results 1 – 2 of 2) sorted by relevance
42 EFI_ACPI_5_0_GENERIC_TIMER_DESCRIPTION_TABLE Gtdt = {45 EFI_ACPI_5_0_GENERIC_TIMER_DESCRIPTION_TABLE,
1309 } EFI_ACPI_5_0_GENERIC_TIMER_DESCRIPTION_TABLE; typedef