Symbol: tbdbg_dprintf
sys/dev/thunderbolt/tb_debug.h
82
void tbdbg_dprintf(device_t dev, u_int debug, u_int val, const char *fmt, ...) __printflike(4, 5);
sys/dev/thunderbolt/tb_debug.h
86
tbdbg_dprintf((sc)->dev, (sc)->debug, level, ##fmt)