get_next_armctrl_hwirq  233 drivers/irqchip/irq-bcm2835.c 	while ((hwirq = get_next_armctrl_hwirq()) != ~0)
get_next_armctrl_hwirq  241 drivers/irqchip/irq-bcm2835.c 	while ((hwirq = get_next_armctrl_hwirq()) != ~0)