IRQCHIP_STATE_ACTIVE
if (which != IRQCHIP_STATE_ACTIVE || !irqd_is_forwarded_to_vcpu(d))
r = irq_set_irqchip_state(ctx->host_timer_irq, IRQCHIP_STATE_ACTIVE, active);
IRQCHIP_STATE_ACTIVE,
case IRQCHIP_STATE_ACTIVE:
if (which != IRQCHIP_STATE_ACTIVE)
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
case IRQCHIP_STATE_ACTIVE:
check_eoi = irq_set_irqchip_state(i, IRQCHIP_STATE_ACTIVE, false);
__irq_get_irqchip_state(irqd, IRQCHIP_STATE_ACTIVE,