marvel_kill_arch   51 arch/alpha/kernel/proto.h extern void marvel_kill_arch(int);
marvel_kill_arch  462 arch/alpha/kernel/sys_marvel.c 	.kill_arch		= marvel_kill_arch,