__entry->tx_seq, __entry->rx_seq)
            );
 
+TRACE_EVENT(rxrpc_notify_socket,
+           TP_PROTO(unsigned int debug_id, rxrpc_serial_t serial),
+
+           TP_ARGS(debug_id, serial),
+
+           TP_STRUCT__entry(
+                   __field(unsigned int,               debug_id        )
+                   __field(rxrpc_serial_t,             serial          )
+                            ),
+
+           TP_fast_assign(
+                   __entry->debug_id = debug_id;
+                   __entry->serial = serial;
+                          ),
+
+           TP_printk("c=%08x r=%08x",
+                     __entry->debug_id,
+                     __entry->serial)
+           );
+
 #endif /* _TRACE_RXRPC_H */
 
 /* This part must be outside protection */
 
                                  false, true,
                                  rxrpc_propose_ack_input_data);
 
-       if (sp->hdr.seq == READ_ONCE(call->rx_hard_ack) + 1)
+       if (sp->hdr.seq == READ_ONCE(call->rx_hard_ack) + 1) {
+               trace_rxrpc_notify_socket(call->debug_id, serial);
                rxrpc_notify_socket(call);
+       }
        _leave(" [queued]");
 }