Searched refs:edge_triggered (Results 1 – 1 of 1) sorted by relevance
1508 int edge_triggered = vgic_irq_is_edge(vcpu, irq); in vgic_validate_injection() local1515 if (edge_triggered) { in vgic_validate_injection()1530 int edge_triggered, level_triggered; in vgic_update_irq_pending() local1542 edge_triggered = vgic_irq_is_edge(vcpu, irq_num); in vgic_update_irq_pending()1543 level_triggered = !edge_triggered; in vgic_update_irq_pending()