Searched refs:edge_triggered (Results 1 – 1 of 1) sorted by relevance
1435 int edge_triggered = vgic_irq_is_edge(vcpu, irq); in vgic_validate_injection() local1442 if (edge_triggered) { in vgic_validate_injection()1456 int edge_triggered, level_triggered; in vgic_update_irq_pending() local1463 edge_triggered = vgic_irq_is_edge(vcpu, irq_num); in vgic_update_irq_pending()1464 level_triggered = !edge_triggered; in vgic_update_irq_pending()