Searched defs:max_irq (Results 1 – 4 of 4) sorted by relevance
464 uint max_irq = resume_gicd ? MAX_INT : GIC_MAX_PER_CPU_INT; local
425 max_irq = 0, max_soft = 0; in read_trace_events() local
132906 int max_irq; member