Searched refs:GicId (Results 1 – 9 of 9) sorted by relevance
605 UINT32 GicId; member627 UINT32 GicId; member
525 UINT32 GicId; member
528 UINT32 GicId; member
625 UINT32 GicId; member
535 UINT32 GicId; member
536 UINT32 GicId; member
912 UINT32 GicId; member
695 {ACPI_DMT_UINT32, ACPI_MADT12_OFFSET (GicId), "Local GIC Hardware ID", 0},