Did you mean (for qemu):gic_irq_state
Your search defs:GIC_IRQ_START did not match any files. Suggestions: