Fixes some RISCV compilation issues
[akaros.git] / tests / msr_nice_while.c
index 8ce6ad6..7f76718 100644 (file)
@@ -9,6 +9,7 @@
 #include <pthread.h>
 #include <rassert.h>
 #include <event.h>
 #include <pthread.h>
 #include <rassert.h>
 #include <event.h>
+#include <uthread.h>
 
 void *while_thread(void *arg)
 {
 
 void *while_thread(void *arg)
 {