Lines Matching refs:Thread
50 encode thread-sets and lock-sets in 32-bit shadow words. */
57 /* Thr, libhb's private thread record, exported abstractly */
61 /* Stores information about a thread. Addresses of these also serve
62 as unique thread identifiers and so are never freed, so they should
63 be as small as possible. Freeing Thread structures makes the
69 core's ThreadId associated with this Thread whilst it is alive.
70 Once the thread finishes, the ThreadId is set to
74 completely different thread, which of course must have a different
75 Thread structure. */
84 WordSetID locksetA; /* WordSet of Lock* currently held by thread */
87 /* Place where parent was when this thread was created. */
93 Thread;
155 Bool HG_(is_sane_Thread) ( Thread* thr );
