Symbol: dec_3100_init
sys/arch/pmax/pmax/dec_3100.c
123
dec_3100_init(void)
sys/arch/pmax/pmax/sysconf.c
48
# define dec_3100_init platform_not_configured