marvel_init_arch   50 arch/alpha/kernel/proto.h extern void marvel_init_arch(void);
marvel_init_arch  458 arch/alpha/kernel/sys_marvel.c 	.init_arch		= marvel_init_arch,