Variable renamings, fixing event_mutex locking and thread_unblock_one.
authorAdam Turowski <adam.turowski@inf.ethz.ch>
Mon, 25 Jul 2016 13:12:13 +0000 (15:12 +0200)
committerAdam Turowski <adam.turowski@inf.ethz.ch>
Mon, 25 Jul 2016 13:12:13 +0000 (15:12 +0200)
commit5ce0589332e3dc03b0f491eafe18a988790db229
treeea93fbaa803429b56b7a65eeb07771c4ee2c6f9c
parenta2068f06ba35930f1694489ff2a4d8e88e53dc5f
Variable renamings, fixing event_mutex locking and thread_unblock_one.

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
lib/barrelfish/deferred.c
lib/barrelfish/domain.c
lib/barrelfish/event_mutex.c
lib/barrelfish/threads.c