Searched refs:vtimer (Results 1 – 2 of 2) sorted by relevance
30 __timer_state.vtimer.irq = -1; in timer_save_state_fdt()51 __timer_state.vtimer.irq = PPI(fdt32_to_cpu(data[7])); in timer_save_state_fdt()52 __timer_state.vtimer.irq_flags = fdt32_to_cpu(data[8]); in timer_save_state_fdt()66 __timer_state.vtimer.irq = -1; in timer_save_state_acpi()73 __timer_state.vtimer.irq = gtdt->virtual_timer_interrupt; in timer_save_state_acpi()74 __timer_state.vtimer.irq_flags = gtdt->virtual_timer_flags; in timer_save_state_acpi()
23 } vtimer; member28 #define TIMER_VTIMER_IRQ (__timer_state.vtimer.irq)