threads: change thrd_t to store Thread pointer
authorBrian Norris <banorris@uci.edu>
Thu, 20 Dec 2012 00:03:45 +0000 (16:03 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 2 Jan 2013 22:15:49 +0000 (14:15 -0800)
I need to make some bigger changes to Thread allocation, so we'll need
to modify the storage of thrd_t.


No differences found