Symbol: dinoprint
sys/arch/hppa/dev/dino.c
1811
config_found(self, &pba, dinoprint);
sys/arch/hppa/dev/dino.c
285
int dinoprint(void *, const char *);