Searched refs:ppis (Results 1 – 1 of 1) sorted by relevance
1454 u32 ppis = 0; in timer_irqs_are_valid() local1472 ppis |= BIT(irq); in timer_irqs_are_valid()1475 valid = hweight32(ppis) == nr_timers(vcpu); in timer_irqs_are_valid()