marvel_find_io7   118 arch/alpha/kernel/core_marvel.c 	if (marvel_find_io7(pe)) {
marvel_find_io7   405 arch/alpha/kernel/core_marvel.c 		if ((io7 = marvel_find_io7(pid)))
marvel_find_io7    59 arch/alpha/kernel/proto.h struct io7 *marvel_find_io7(int pe);
marvel_find_io7    80 arch/alpha/kernel/sys_marvel.c 	if (!(io7 = marvel_find_io7(pid))) {
marvel_find_io7   407 arch/alpha/kernel/sys_marvel.c 	struct io7 *io7 = marvel_find_io7(cpuid);