Searched defs:gic_nr (Results 1 – 1 of 1) sorted by relevance
411 void __init gic_cascade_irq(unsigned int gic_nr, unsigned int irq) in gic_cascade_irq()530 int gic_cpu_if_down(unsigned int gic_nr) in gic_cpu_if_down()964 unsigned int cur_cpu_id, gic_irqs, gic_nr = 0; in gic_migrate_target() local