Symbol: tcasicprint
sys/arch/alpha/tc/tcasic.c
149
config_found(self, &tba, tcasicprint);
sys/arch/alpha/tc/tcasic.c
59
int tcasicprint(void *, const char *);