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