Searched refs:VirtualEL2TimerFlags (Results 1 – 2 of 2) sorted by relevance
1433 UINT32 VirtualEL2TimerFlags; member
1000 {ACPI_DMT_UINT32, ACPI_GTDT_EL2_OFFSET (VirtualEL2TimerFlags), "Virtual EL2 Timer Flags", 0},