Symbol: dec_5100_init
sys/arch/pmax/pmax/dec_5100.c
62
void dec_5100_init(void); /* XXX */
sys/arch/pmax/pmax/sysconf.c
124
sys_init(dec_5100_init,"DEC_5100"), /* 12: 5100 */
sys/arch/pmax/pmax/sysconf.c
83
void dec_5100_init(void);