Searched refs:virtual_timer_flags (Results 1 – 2 of 2) sorted by relevance
280 u32 virtual_timer_flags; member331 u32 virtual_timer_flags; member
852 gtdt->virtual_timer_flags); in arch_timer_acpi_init()