Replaces an instance of pthread_mutex_lock() that should be pthreaad_mutex_unlock(). With thanks to our OpenTC partners at the Technical University of Sofia, whose static analysis found this bug. Signed-off-by: Derek G. Murray <Derek.Murray@cl.cam.ac.uk> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel