Lines Matching +full:re +full:- +full:routed

1 // SPDX-License-Identifier: GPL-2.0
55 static char irq_redir [NR_IRQS]; // = { [0 ... NR_IRQS-1] = 1 };
113 			if (chip && chip->irq_disable &&  in migrate_irqs()
114 				chip->irq_enable && chip->irq_set_affinity) {  in migrate_irqs()
115 				chip->irq_disable(data);  in migrate_irqs()
116 				chip->irq_set_affinity(data,  in migrate_irqs()
118 				chip->irq_enable(data);  in migrate_irqs()
120 				WARN_ON((!chip || !chip->irq_disable ||  in migrate_irqs()
121 					 !chip->irq_enable ||  in migrate_irqs()
122 					 !chip->irq_set_affinity));  in migrate_irqs()
142 		printk ("CPU %d is now promoted to time-keeper master\n", time_keeper_id);  in fixup_irqs()
160 	 * rte was being disabled and re-programmed.  in fixup_irqs()
174 	 * ensure there is no more interrupts routed to this processor.  in fixup_irqs()