Symbol: dec_maxine_init
sys/arch/pmax/pmax/dec_maxine.c
134
dec_maxine_init(void)
sys/arch/pmax/pmax/sysconf.c
71
# define dec_maxine_init platform_not_configured