32bit: libbarrelfish: fix casts in new x-core thread functionality. release2015-03-17
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 9 Mar 2015 15:24:17 +0000 (16:24 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 9 Mar 2015 15:24:17 +0000 (16:24 +0100)
commit1f4ee8d93b6022490c9797b3eaa4088878689c52
tree24e9c0ef1fe3106ea3778aeee2ca662ae44e3e11
parent58dad9740731b9a3144566ff0a4bb27131e1c133
32bit: libbarrelfish: fix casts in new x-core thread functionality.

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