evtr_thread
RB_HEAD(thread_tree, evtr_thread);
struct evtr_thread *td; /* currently executing thread */
static int thread_cmp(struct evtr_thread *, struct evtr_thread *);
RB_PROTOTYPE2(thread_tree, evtr_thread, rb_node, thread_cmp, void *);
RB_GENERATE2(thread_tree, evtr_thread, rb_node, thread_cmp, void *, id);
thread_cmp(struct evtr_thread *a, struct evtr_thread *b)
struct evtr_thread *
thread_map_insert(struct thread_map *map, struct evtr_thread *td)
struct evtr_thread *otd;
struct evtr_thread *td;
struct evtr_thread *tdp, *tdn;
struct evtr_thread *td;
RB_ENTRY(evtr_thread) rb_node;
struct evtr_thread **top_threads;
struct evtr_thread *td;
top_threads_update(struct td_switch_ctx *ctx, struct evtr_thread *ntd)
struct evtr_thread *td = ctx->top_threads[i];
struct evtr_thread *tmp;
struct evtr_thread *td;
sizeof(struct evtr_thread *))))