Home
last modified time | relevance | path

Searched defs:GicId (Results 1 – 4 of 4) sorted by relevance

/device/linaro/bootloader/edk2/EmbeddedPkg/Include/Library/
DAcpiLib.h42 #define EFI_ACPI_5_0_GIC_STRUCTURE_INIT(GicId, AcpiCpuId, Flags, PmuIrq, GicBase) \ argument
49 #define EFI_ACPI_5_1_GICC_STRUCTURE_INIT(GicId, AcpiCpuUid, Mpidr, Flags, PmuIrq, \ argument
/device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/
DAcpi50.h610 UINT32 GicId; member
632 UINT32 GicId; member
DAcpi51.h530 UINT32 GicId; member
DAcpi60.h533 UINT32 GicId; member