/* Record the delivery of a data message. This permits RxRPC to keep its tracking correct. The socket buffer will be deleted.  */
void rxrpc_kernel_data_delivered(struct sk_buff *skb)
/* Record the delivery of a data message. This permits RxRPC to keep its tracking correct. The socket buffer will be deleted.  */
void rxrpc_kernel_data_delivered(struct sk_buff *skb)
{
	struct rxrpc_skb_priv *sp = rxrpc_skb(skb);
	struct rxrpc_call *call = sp->call;
	ASSERTCMP(ntohl(sp->hdr.seq), >=, call->rx_data_recv);
	ASSERTCMP(ntohl(sp->hdr.seq), <=, call->rx_data_recv + 1);
	call->rx_data_recv = ntohl(sp->hdr.seq);
	ASSERTCMP(ntohl(sp->hdr.seq), >, call->rx_data_eaten);
	rxrpc_free_skb(skb);
}