Searched defs:VirtualPL2TimerGSIV (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/boot/efi/include/IndustryStandard/ | ||
| H A D | Acpi63.h | 1349 UINT32 VirtualPL2TimerGSIV; member |
| H A D | Acpi64.h | 1392 UINT32 VirtualPL2TimerGSIV; member |