Symbol: dec_5100_init
sys/arch/pmax/pmax/dec_5100.c
83
dec_5100_init(void)
sys/arch/pmax/pmax/sysconf.c
85
# define dec_5100_init platform_not_configured