io7_get_irq_ctl   112 arch/alpha/kernel/sys_marvel.c 	ctl = io7_get_irq_ctl(irq, &io7);
io7_get_irq_ctl   133 arch/alpha/kernel/sys_marvel.c 	ctl = io7_get_irq_ctl(irq, &io7);