cpu_for_irq       157 drivers/irqchip/irq-bcm6345-l1.c 	unsigned int cpu_idx = cpu_for_irq(intc, d);
cpu_for_irq       169 drivers/irqchip/irq-bcm6345-l1.c 	unsigned int cpu_idx = cpu_for_irq(intc, d);
cpu_for_irq       203 drivers/irqchip/irq-bcm6345-l1.c 	unsigned int old_cpu = cpu_for_irq(intc, d);