kdeth6            527 drivers/infiniband/hw/hfi1/trace_tx.h 		    __field(u32, kdeth6)
kdeth6            555 drivers/infiniband/hw/hfi1/trace_tx.h 		    __entry->kdeth6 = le32_to_cpu(kdeth[6]);
kdeth6            578 drivers/infiniband/hw/hfi1/trace_tx.h 		      __entry->kdeth6,