Searched refs:EFI_ACPI_5_0_GIC_STRUCTURE (Results 1 – 3 of 3) sorted by relevance
51 EFI_ACPI_5_0_GIC, sizeof (EFI_ACPI_5_0_GIC_STRUCTURE), EFI_ACPI_RESERVED_WORD, \
30 … EFI_ACPI_5_0_GIC_STRUCTURE GicInterfaces[FixedPcdGet32 (PcdCoreCount)];
617 } EFI_ACPI_5_0_GIC_STRUCTURE; typedef