fix various problems with my 64-bit clean hack

[model-checker.git] / threads.cc

diff --git a/threads.cc b/threads.cc
index 0ed7bdcabc084eabf0755c8df098b724d3c023c4..35000dc17d2ad40f73ea3652f0b634dd9f95678b 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -45,7 +45,7 @@ int Thread::create_context()
        context.uc_stack.ss_size = STACK_SIZE;
        context.uc_stack.ss_flags = 0;
        context.uc_link = model->get_system_context();
-       makecontext(&context, start_routine, 1);
+       makecontext(&context, thread_startup, 0);
 
        return 0;
 }
@@ -70,7 +70,7 @@ void Thread::complete()
        }
 }
 
-Thread::Thread(thrd_t *t, void (*func)(), void *a) {
+Thread::Thread(thrd_t *t, void (*func)(void *), void *a) {
        int ret;
 
        user_thread = t;