Searched refs:VirtualTimerGSIV (Results 1 – 3 of 3) sorted by relevance
| /src/sys/contrib/edk2/Include/IndustryStandard/ | ||
| H A D | Acpi51.h | 1263 UINT32 VirtualTimerGSIV; member |
| H A D | Acpi50.h | 1310 UINT32 VirtualTimerGSIV; member |
| H A D | Acpi60.h | 1278 UINT32 VirtualTimerGSIV; member |