T284: Fix thread_{get,set}_recv_slot()
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 26 Aug 2016 13:37:38 +0000 (15:37 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 21 Sep 2016 09:48:56 +0000 (11:48 +0200)
commit8109ab5ae58d6effb29403212aa320892191d3dd
treef1bc1a2c766f208e451d4357567e554bdce809c8
parent81ade05124098968cc9fb0bf4a2698053dc3a203
T284: Fix thread_{get,set}_recv_slot()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
lib/barrelfish/include/threads_priv.h
lib/barrelfish/threads.c