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)
commit96bc0872c55ea4a0c1c52f7d5145f3f953226f78
treeda54ab9cb7b40bb128086f87bd283889a75a4149
parent87d6ae25425840ccad0ef6edef6e279967e83be6
threads: change thrd_t to store Thread pointer

I need to make some bigger changes to Thread allocation, so we'll need
to modify the storage of thrd_t.
include/threads.h
libthreads.cc
threads-model.h
threads.cc