tb_ctl_dbg
tb_ctl_dbg(ctl, "control channel created\n");
tb_ctl_dbg(ctl, "control channel starting...\n");
tb_ctl_dbg(ctl, "control channel stopped\n");
tb_ctl_dbg(ctl, "acking %s (%#x) notification on %llx\n", name,
tb_ctl_dbg(ctl, "acking hot %splug event on %llx:%u\n",