Symbol: jensenio_print
sys/arch/alpha/jensenio/jensenio.c
187
config_found(self, &ja, jensenio_print,
sys/arch/alpha/jensenio/jensenio.c
87
static int jensenio_print(void *, const char *);