Searched refs:EFI_ACPI_5_0_GIC_STRUCTURE (Results 1 – 4 of 4) sorted by relevance
44 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