Searched refs:arch_timer_ctx_index (Results 1 – 1 of 1) sorted by relevance
129 #define arch_timer_ctx_index(ctx) ((ctx) - vcpu_timer((ctx)->vcpu)->timers) macro132 #define timer_irq(ctx) (timer_vm_data(ctx)->ppi[arch_timer_ctx_index(ctx)])