armctrl_ops       128 drivers/irqchip/irq-bcm2835.c static const struct irq_domain_ops armctrl_ops = {
armctrl_ops       144 drivers/irqchip/irq-bcm2835.c 			&armctrl_ops, NULL);