Searched defs:GicId (Results 1 – 8 of 8) sorted by relevance
| /illumos-gate/usr/src/boot/efi/include/IndustryStandard/ | ||
| H A D | Acpi50.h | 605 UINT32 GicId; member |
| H A D | Acpi51.h | 525 UINT32 GicId; member |
| H A D | Acpi61.h | 528 UINT32 GicId; member |
| H A D | Acpi60.h | 528 UINT32 GicId; member |
| H A D | Acpi63.h | 535 UINT32 GicId; member |
| H A D | Acpi62.h | 625 UINT32 GicId; member |
| H A D | Acpi64.h | 536 UINT32 GicId; member |
| /illumos-gate/usr/src/uts/intel/sys/acpi/ | ||
| H A D | actbl2.h | 912 UINT32 GicId; member |