Sanitize vcoreid from untrusted sources
[akaros.git] / kern / include / ros / vmm.h
index 7e03fdb..fc0ac44 100644 (file)
@@ -25,4 +25,4 @@
 #define VMM_CTL_ALL_EXITS              ((1 << 3) - 1)
 
 #define VMM_CTL_FL_KERN_PRINTC         (1 << 0)
-#define VMM_CTL_ALL_FLAGS                      (VMM_CTL_FL_KERN_PRINTC)
+#define VMM_CTL_ALL_FLAGS              (VMM_CTL_FL_KERN_PRINTC)