Symbol: marvel_init_arch
arch/alpha/kernel/proto.h
37
extern void marvel_init_arch(void);
arch/alpha/kernel/sys_marvel.c
457
.init_arch = marvel_init_arch,