Searched refs:EFI_ACPI_5_1_GIC_STRUCTURE (Results 1 – 4 of 4) sorted by relevance
52 EFI_ACPI_5_1_GIC, sizeof (EFI_ACPI_5_1_GIC_STRUCTURE), EFI_ACPI_RESERVED_WORD, \
72 … EFI_ACPI_5_1_GIC_STRUCTURE GicInterfaces[FixedPcdGet32 (PcdCoreCount)];
514 } EFI_ACPI_5_1_GIC_STRUCTURE; typedef