Symbol: dec_maxine_init
sys/arch/pmax/pmax/dec_maxine.c
100
void dec_maxine_init(void); /* XXX */
sys/arch/pmax/pmax/sysconf.c
119
sys_init(dec_maxine_init,"DEC_MAXINE"), /* 7: MAXINE */
sys/arch/pmax/pmax/sysconf.c
69
void dec_maxine_init(void);