From af25bde59ce05189adee92825ecc03fbb83e675b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 3 Oct 2012 17:12:59 -0700 Subject: [PATCH] fixup more id vs. thread_id_t --- schedule.cc | 4 ++-- threads.cc | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/schedule.cc b/schedule.cc index b1b41c3..88200a8 100644 --- a/schedule.cc +++ b/schedule.cc @@ -36,7 +36,7 @@ void Scheduler::set_enabled(Thread *t, bool enabled_status) { */ void Scheduler::add_thread(Thread *t) { - DEBUG("thread %d\n", t->get_id()); + DEBUG("thread %d\n", id_to_int(t->get_id())); set_enabled(t, true); } @@ -119,7 +119,7 @@ Thread * Scheduler::get_current_thread() const void Scheduler::print() const { if (current) - DEBUG("Current thread: %d\n", current->get_id()); + DEBUG("Current thread: %d\n", id_to_int(current->get_id())); else DEBUG("No current thread\n"); } diff --git a/threads.cc b/threads.cc index 09efcae..ca4b28b 100644 --- a/threads.cc +++ b/threads.cc @@ -105,7 +105,7 @@ int Thread::swap(ucontext_t *ctxt, Thread *t) void Thread::complete() { if (!is_complete()) { - DEBUG("completed thread %d\n", get_id()); + DEBUG("completed thread %d\n", id_to_int(get_id())); state = THREAD_COMPLETED; if (stack) stack_free(stack); -- 2.34.1