[PATCH 0/2] vhost_worker fixes

Bart Van Assche
2013-08-14T07:01:35Z

There are two patches in this series:
* A patch that reduces vhost_work_flush() latency on busy systems.
* A patch that avoids that vhost_work_flush() returns early.

I found these issues via code inspection.