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,