stricter typing of function pointers for makecontext()

[model-checker.git] / userprog.c

diff --git a/userprog.c b/userprog.c
index c27c701591115f9ec903c6a771263bfc3b1bef98..1837fc98c68d2a995d664dee2408fa05bc0d2c33 100644 (file)
--- a/userprog.c
+++ b/userprog.c
@@ -20,8 +20,8 @@ void user_main()
        atomic_int obj;
 
        printf("%s() creating 2 threads\n", __func__);
-       thread_create(&t1, &a, &obj);
-       thread_create(&t2, &a, &obj);
+       thread_create(&t1, (void (*)())&a, &obj);
+       thread_create(&t2, (void (*)())&a, &obj);
 
        thread_join(&t1);
        thread_join(&t2);