alloc_io7         373 arch/alpha/kernel/core_marvel.c 	alloc_io7(pe);
alloc_io7         437 arch/alpha/kernel/core_marvel.c 			io7 = alloc_io7(pid);