drivers/irqchip/irq-bcm2836.c

1 // SPDX-License-Identifier: GPL-2.0+
14 #include <linux/irqchip/irq-bcm2836.h>
19 	struct irq_domain *domain;  member
46 					     d->hwirq - LOCAL_IRQ_CNTPSIRQ,  in bcm2836_arm_irqchip_mask_timer_irq()
53 					       d->hwirq - LOCAL_IRQ_CNTPSIRQ,  in bcm2836_arm_irqchip_unmask_timer_irq()
58 	.name		= "bcm2836-timer",
74 	.name		= "bcm2836-pmu",
88 	.name		= "bcm2836-gpu",
98 	.name		= "bcm2836-dummy",
125 		return -EINVAL;  in bcm2836_map()
129 	irq_domain_set_info(d, irq, hw, chip, d->host_data,  in bcm2836_map()
144 		u32 hwirq = ffs(stat) - 1;  in bcm2836_arm_irqchip_handle_irq()
146 		generic_handle_domain_irq(intc.domain, hwirq);  in bcm2836_arm_irqchip_handle_irq()
163 		int hwirq = ffs(mbox_val) - 1;  in bcm2836_arm_irqchip_handle_ipi()
174 	writel_relaxed(BIT(d->hwirq),  in bcm2836_arm_irqchip_ipi_ack()
191 		writel_relaxed(BIT(d->hwirq), mailbox0_base + 16 * cpu);  in bcm2836_arm_irqchip_ipi_send_mask()
211 				    d->host_data,  in bcm2836_arm_irqchip_ipi_alloc()
250 		.fwnode		= intc.domain->fwnode,  in bcm2836_arm_irqchip_smp_init()
262 	ipi_domain = irq_domain_create_linear(intc.domain->fwnode,  in bcm2836_arm_irqchip_smp_init()
268 	ipi_domain->flags |= IRQ_DOMAIN_FLAG_IPI_SINGLE;  in bcm2836_arm_irqchip_smp_init()
309 	 * Set the timer prescaler to 1:1 (timer freq = input freq *  in bcm2835_init_local_timer_frequency()
325 	intc.domain = irq_domain_add_linear(node, LAST_IRQ + 1,  in bcm2836_arm_irqchip_l1_intc_of_init()
328 	if (!intc.domain)  in bcm2836_arm_irqchip_l1_intc_of_init()
329 		panic("%pOF: unable to create IRQ domain\n", node);  in bcm2836_arm_irqchip_l1_intc_of_init()
331 	irq_domain_update_bus_token(intc.domain, DOMAIN_BUS_WIRED);  in bcm2836_arm_irqchip_l1_intc_of_init()
339 IRQCHIP_DECLARE(bcm2836_arm_irqchip_l1_intc, "brcm,bcm2836-l1-intc",