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,