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);