kdeth7            528 drivers/infiniband/hw/hfi1/trace_tx.h 		    __field(u32, kdeth7)
kdeth7            556 drivers/infiniband/hw/hfi1/trace_tx.h 		    __entry->kdeth7 = le32_to_cpu(kdeth[7]);
kdeth7            579 drivers/infiniband/hw/hfi1/trace_tx.h 		      __entry->kdeth7,