dprintk("RPC:      discarded %u bytes\n", len); 
dprintk("RPC:      discarded %Zu bytes\n", len); 
tcp_read_discard(struct rpc_xprt *xprt, skb_reader_t *desc){	size_t len;	len = xprt->tcp_reclen - xprt->tcp_offset;	if (len > desc->count)		len = desc->count;	desc->count -= len;	desc->offset += len;	xprt->tcp_offset += len;	dprintk("RPC:      discarded %u bytes\n", len);	tcp_check_recm(xprt);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c54d7e03c3a21b38c587f671704c5a12aa3987fc/xprt.c/buggy/net/sunrpc/xprt.c