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