Symbol: m_print
sys/ddb/db_command.c
351
m_print((void *)addr, db_printf);
sys/ddb/db_interface.h
64
void m_print(void *, int (*)(const char *, ...));