Searched refs:EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE (Results 1 – 3 of 3) sorted by relevance
37 EFI_ACPI_5_0_GICD, sizeof (EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE), EFI_ACPI_RESERVED_WORD, \
31 EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE GicDistributor;
636 } EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE; typedef