userprog: separate test 'program' out to userprog.c

[model-checker.git] / libthreads.h

diff --git a/libthreads.h b/libthreads.h
index 1e2df96292bf365d087d7a7d8fe8cf5405f56b87..c0eb7d75c658e2e5d3de1842cefa75b67ec0b383 100644 (file)
--- a/libthreads.h
+++ b/libthreads.h
@@ -17,4 +17,6 @@ void thread_join(struct thread *t);
 int thread_yield(void);
 struct thread *thread_current(void);
 
+extern void user_main(void);
+
 #endif /* __LIBTHREADS_H__ */