DC8051           8679 drivers/infiniband/hw/hfi1/chip.c 	hfi1_cdbg(DC8051, "type %d, data 0x%012llx", type, in_data);
DC8051            524 drivers/infiniband/hw/hfi1/trace.c __hfi1_trace_fn(DC8051);
DC8051            125 drivers/infiniband/hw/hfi1/trace_dbg.h __hfi1_trace_def(DC8051);