Searched refs:gic_number_lines (Results 1 – 4 of 4) sorted by relevance
291 extern unsigned int gic_number_lines(void);
66 unsigned int gic_number_lines(void) in gic_number_lines() function123 ASSERT(desc->irq < gic_number_lines());/* Can't route interrupts that don't exist */ in gic_route_irq_to_xen()
393 return (irq >= NR_LOCAL_IRQS) && (irq < gic_number_lines()); in is_assignable_irq()
856 config.nr_spis = gic_number_lines() - 32; in start_xen()
Completed in 8 milliseconds