Symbol: dec_alphabook1_init
sys/arch/alpha/alpha/cpuconf.c
144
extern void dec_alphabook1_init(void);
sys/arch/alpha/alpha/cpuconf.c
172
cpu_init(ST_ALPHABOOK1, dec_alphabook1_init, "DEC_ALPHABOOK1"),
sys/arch/alpha/alpha/dec_alphabook1.c
67
void dec_alphabook1_init(void);