Searched defs:edge_triggered (Results 1 – 1 of 1) sorted by relevance
1508 int edge_triggered = vgic_irq_is_edge(vcpu, irq); in vgic_validate_injection() local1530 int edge_triggered, level_triggered; in vgic_update_irq_pending() local