Lines Matching +full:freq +full:- +full:domain

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",
75 .name = "bcm2836-pmu",
90 .name = "bcm2836-gpu",
101 .name = "bcm2836-dummy",
128 return -EINVAL; in bcm2836_map()
132 irq_domain_set_info(d, irq, hw, chip, d->host_data, in bcm2836_map()
147 u32 hwirq = ffs(stat) - 1; in bcm2836_arm_irqchip_handle_irq()
149 generic_handle_domain_irq(intc.domain, hwirq); in bcm2836_arm_irqchip_handle_irq()
166 int hwirq = ffs(mbox_val) - 1; in bcm2836_arm_irqchip_handle_ipi()
177 writel_relaxed(BIT(d->hwirq), in bcm2836_arm_irqchip_ipi_ack()
194 writel_relaxed(BIT(d->hwirq), mailbox0_base + 16 * cpu); in bcm2836_arm_irqchip_ipi_send_mask()
214 d->host_data, in bcm2836_arm_irqchip_ipi_alloc()
253 .fwnode = intc.domain->fwnode, in bcm2836_arm_irqchip_smp_init()
265 ipi_domain = irq_domain_create_linear(intc.domain->fwnode, in bcm2836_arm_irqchip_smp_init()
271 ipi_domain->flags |= IRQ_DOMAIN_FLAG_IPI_SINGLE; in bcm2836_arm_irqchip_smp_init()
312 * Set the timer prescaler to 1:1 (timer freq = input freq * in bcm2835_init_local_timer_frequency()
328 intc.domain = irq_domain_add_linear(node, LAST_IRQ + 1, in bcm2836_arm_irqchip_l1_intc_of_init()
331 if (!intc.domain) in bcm2836_arm_irqchip_l1_intc_of_init()
332 panic("%pOF: unable to create IRQ domain\n", node); in bcm2836_arm_irqchip_l1_intc_of_init()
334 irq_domain_update_bus_token(intc.domain, DOMAIN_BUS_WIRED); in bcm2836_arm_irqchip_l1_intc_of_init()
342 IRQCHIP_DECLARE(bcm2836_arm_irqchip_l1_intc, "brcm,bcm2836-l1-intc",