trace_rvt_dbg     556 drivers/infiniband/sw/rdmavt/vt.c 	trace_rvt_dbg(rdi, "Driver attempting registration");
trace_rvt_dbg     671 drivers/infiniband/sw/rdmavt/vt.c 	trace_rvt_dbg(rdi, "Driver is unregistering.");