OpenGrok
| Home | Sort by relevance Sort by last modified time |
Searched refs:GICRBaseAddress (Results 1 -
2 of 2) sorted by null
Completed in 473 milliseconds
| /device/linaro/bootloader/edk2/MdePkg/Include/IndustryStandard/ | |
| Acpi51.h | 512 UINT64 GICRBaseAddress;
[all...] |
| Acpi60.h | 513 UINT64 GICRBaseAddress;
[all...] |
Completed in 473 milliseconds
