Adding SharC annotations. Type checker off
[akaros.git] / kern / src / manager.c
index 2e9bcde..71570fc 100644 (file)
@@ -8,7 +8,7 @@
 #pragma nosharc
 #endif
 
-#include <arch/types.h>
+#include <ros/common.h>
 #include <smp.h>
 
 #include <assert.h>
@@ -29,7 +29,7 @@
  */
 void manager(void)
 {
-       static uint8_t progress = 0;
+       static uint8_t RACY progress = 0;
        struct proc *envs[256];
        struct proc *p ;