timer1_irq        120 drivers/clocksource/timer-owl.c 	int timer1_irq, ret;
timer1_irq        131 drivers/clocksource/timer-owl.c 	timer1_irq = of_irq_get_byname(node, "timer1");
timer1_irq        132 drivers/clocksource/timer-owl.c 	if (timer1_irq <= 0) {
timer1_irq        152 drivers/clocksource/timer-owl.c 	ret = request_irq(timer1_irq, owl_timer1_interrupt, IRQF_TIMER,
timer1_irq        155 drivers/clocksource/timer-owl.c 		pr_err("failed to request irq %d\n", timer1_irq);
timer1_irq        160 drivers/clocksource/timer-owl.c 	owl_clockevent.irq = timer1_irq;