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,