Searched defs:GicId (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/ | ||
| H A D | Acpi50.h | 608 UINT32 GicId; member in struct:__anon11527 630 UINT32 GicId; member in struct:__anon11528 |
Completed in 44 milliseconds