100 	tb_port_dbg(in, "attached to bandwidth group %d\n", group->index);  in tb_bandwidth_group_attach_port()
180 		tb_port_dbg(in, "detached from bandwidth group %d\n", group->index);  in tb_detach_bandwidth_group()
217 		tb_port_dbg(port, "DP IN resource available\n");  in tb_add_dp_resources()
234 			tb_port_dbg(port, "DP OUT resource unavailable\n");  in tb_remove_dp_resources()
250 	tb_port_dbg(port, "DP %s resource available discovered\n",  in tb_discover_dp_resource()
876 	tb_port_dbg(port, "link maximum bandwidth %d/%d Mb/s\n", *max_up, *max_down);  in tb_maximum_bandwidth()
1040 	tb_port_dbg(up, "available bandwidth for new USB3 tunnel %d/%d Mb/s\n",  in tb_tunnel_usb3()
1349 		tb_port_dbg(port, "DP adapter HPD set, queuing hotplug\n");  in tb_scan_port()
1369 		tb_port_dbg(port, "port already has a remote\n");  in tb_scan_port()
1665 		tb_port_dbg(in, "re-calculated estimated bandwidth %u/%u Mb/s\n",  in tb_recalc_estimated_bandwidth_for_group()
1714 			tb_port_dbg(port, "DP OUT in use\n");  in tb_find_dp_out()
1718 		tb_port_dbg(port, "DP OUT available\n");  in tb_find_dp_out()
1772 		tb_port_dbg(in, "no resource available for DP IN, not tunneling\n");  in tb_tunnel_one_dp()
1797 		tb_port_dbg(out, "could not allocate DP tunnel\n");  in tb_tunnel_one_dp()
1872 			tb_port_dbg(port, "DP IN in use\n");  in tb_tunnel_dp()
1877 		tb_port_dbg(in, "DP IN available\n");  in tb_tunnel_dp()
1883 			tb_port_dbg(in, "no suitable DP OUT adapter available, not tunneling\n");  in tb_tunnel_dp()
1911 		tb_port_dbg(port, "enter redrive mode, keeping powered\n");  in tb_enter_redrive()
1929 		tb_port_dbg(port, "exit redrive mode\n");  in tb_exit_redrive()
1959 			tb_port_dbg(port, "exit redrive mode\n");  in tb_switch_exit_redrive()
1970 		tb_port_dbg(port, "DP IN resource unavailable\n");  in tb_dp_resource_unavailable()
1974 		tb_port_dbg(port, "DP OUT resource unavailable\n");  in tb_dp_resource_unavailable()
2007 	tb_port_dbg(port, "DP %s resource available\n",  in tb_dp_resource_available()
2247 			tb_port_dbg(port, "switch unplugged\n");  in tb_handle_hotplug()
2265 			tb_port_dbg(port, "xdomain unplugged\n");  in tb_handle_hotplug()
2285 			tb_port_dbg(port,  in tb_handle_hotplug()
2289 		tb_port_dbg(port, "got plug event for connected port, ignoring\n");  in tb_handle_hotplug()
2295 			tb_port_dbg(port, "hotplug: scanning\n");  in tb_handle_hotplug()
2298 				tb_port_dbg(port, "hotplug: no switch found\n");  in tb_handle_hotplug()
2334 	tb_port_dbg(in, "bandwidth allocated currently %d/%d Mb/s\n",  in tb_alloc_dp_bandwidth()
2376 	tb_port_dbg(in, "corrected bandwidth request %d/%d Mb/s\n",  in tb_alloc_dp_bandwidth()
2381 		tb_port_dbg(in, "bandwidth request too high (%d/%d Mb/s > %d/%d Mb/s)\n",  in tb_alloc_dp_bandwidth()
2424 	tb_port_dbg(in, "bandwidth available for allocation %d/%d Mb/s\n",  in tb_alloc_dp_bandwidth()
2484 	tb_port_dbg(in, "handling bandwidth allocation request\n");  in tb_handle_dp_bandwidth_request()
2494 			tb_port_dbg(in, "no bandwidth request active\n");  in tb_handle_dp_bandwidth_request()
2501 	tb_port_dbg(in, "requested bandwidth %d Mb/s\n", requested_bw);  in tb_handle_dp_bandwidth_request()
2526 		tb_port_dbg(in, "bandwidth allocation changed to %d/%d Mb/s\n",  in tb_handle_dp_bandwidth_request()