T284: T285: Store RPC recv slots in thread struct
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 25 Aug 2016 10:19:32 +0000 (12:19 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 21 Sep 2016 09:48:56 +0000 (11:48 +0200)
commitb1af954a1040e0b9bed7110a356f880cc2dce017
tree14e043b36dbcd5ba643e7791754b28701d8d4742
parentfca17ad796bf60e605b53003751a13a658115296
T284: T285: Store RPC recv slots in thread struct

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