Searched refs:irq_val (Results 1 – 1 of 1) sorted by relevance
277 int irq_val; in vgic_irq_is_edge() local279 irq_val = vgic_bitmap_get_irq_val(&dist->irq_cfg, vcpu->vcpu_id, irq); in vgic_irq_is_edge()280 return irq_val == VGIC_CFG_EDGE; in vgic_irq_is_edge()