recv_ringbuffer_size  252 drivers/hv/channel.c 	       u32 send_ringbuffer_size, u32 recv_ringbuffer_size,
recv_ringbuffer_size  259 drivers/hv/channel.c 			       recv_ringbuffer_size);