extern struct pset_node pset_node0;
extern queue_head_t tasks, threads, corpse_tasks;
-extern int tasks_count, terminated_tasks_count, threads_count;
+extern int tasks_count, terminated_tasks_count, threads_count, terminated_threads_count;
decl_lck_mtx_data(extern, tasks_threads_lock);
decl_lck_mtx_data(extern, tasks_corpse_lock);
*/
extern queue_head_t terminated_tasks;
+extern queue_head_t terminated_threads;
+
struct processor {
processor_state_t state; /* See above */
bool is_SMT;