kdeth3            524 drivers/infiniband/hw/hfi1/trace_tx.h 		    __field(u32, kdeth3)
kdeth3            552 drivers/infiniband/hw/hfi1/trace_tx.h 		    __entry->kdeth3 = le32_to_cpu(kdeth[3]);
kdeth3            575 drivers/infiniband/hw/hfi1/trace_tx.h 		      __entry->kdeth3,