Symbol: dt_print
sys/arch/pmax/tc/dt.c
174
int dt_print(void *, const char *);
sys/arch/pmax/tc/dt.c
235
config_found(self, &dta, dt_print, CFARGS_NONE);
sys/arch/pmax/tc/dt.c
237
config_found(self, &dta, dt_print, CFARGS_NONE);