Fix thread_mutex_lock* to acquire lock after unblocking waiting thread
authorMoritz Hoffmann <moritzho@inf.ethz.ch>
Tue, 28 Apr 2015 14:26:13 +0000 (16:26 +0200)
committerMoritz Hoffmann <moritzho@inf.ethz.ch>
Tue, 28 Apr 2015 14:39:27 +0000 (14:39 +0000)
commitb51b15ec83fd052f105e21de1fe7714e3d0d6381
tree4f5d7db42f413953696d2fab3e064f09c7b18e0f
parent2ab77e34c2e175d90c79dde9b708e3c5beff64de
Fix thread_mutex_lock* to acquire lock after unblocking waiting thread

Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
lib/barrelfish/thread_sync.c