kdeth2            523 drivers/infiniband/hw/hfi1/trace_tx.h 		    __field(u32, kdeth2)
kdeth2            551 drivers/infiniband/hw/hfi1/trace_tx.h 		    __entry->kdeth2 = le32_to_cpu(kdeth[2]);
kdeth2            574 drivers/infiniband/hw/hfi1/trace_tx.h 		      __entry->kdeth2,