pio7               72 arch/alpha/kernel/sys_marvel.c io7_get_irq_ctl(unsigned int irq, struct io7 **pio7)
pio7              101 arch/alpha/kernel/sys_marvel.c 	if (pio7) *pio7 = io7;