Symbol: so_print
sys/ddb/db_command.c
357
so_print((void *)addr, db_printf);
sys/ddb/db_interface.h
69
void so_print(void *, int (*)(const char *, ...));