msgs_received     771 drivers/rpmsg/virtio_rpmsg_bus.c 	unsigned int len, msgs_received = 0;
msgs_received     785 drivers/rpmsg/virtio_rpmsg_bus.c 		msgs_received++;
msgs_received     790 drivers/rpmsg/virtio_rpmsg_bus.c 	dev_dbg(dev, "Received %u messages\n", msgs_received);
msgs_received     793 drivers/rpmsg/virtio_rpmsg_bus.c 	if (msgs_received)