Symbol: marvel_kill_arch
arch/alpha/kernel/proto.h
38
extern void marvel_kill_arch(int);
arch/alpha/kernel/sys_marvel.c
461
.kill_arch = marvel_kill_arch,