Sanitize vcoreid from untrusted sources
[akaros.git] / kern / include / ros / cpu_feat.h
index 1834699..cf2729c 100644 (file)
@@ -12,8 +12,8 @@
 
 #include <ros/common.h>
 
 
 #include <ros/common.h>
 
-#define CPU_FEAT_VMM                                   1
-#define __CPU_FEAT_ARCH_START                  64
+#define CPU_FEAT_VMM           1
+#define __CPU_FEAT_ARCH_START  64
 
 #include <ros/arch/cpu_feat.h>
 
 
 #include <ros/arch/cpu_feat.h>