kdeth4            525 drivers/infiniband/hw/hfi1/trace_tx.h 		    __field(u32, kdeth4)
kdeth4            553 drivers/infiniband/hw/hfi1/trace_tx.h 		    __entry->kdeth4 = le32_to_cpu(kdeth[4]);
kdeth4            576 drivers/infiniband/hw/hfi1/trace_tx.h 		      __entry->kdeth4,