Sanitize vcoreid from untrusted sources
[akaros.git] / kern / include / ros / vmm.h
index d797520..fc0ac44 100644 (file)
@@ -11,6 +11,8 @@
 /* VMCALL FUNCTION NUMBERS */
 #define VMCALL_PRINTC          0x1
 #define VMCALL_SMPBOOT         0x2
+#define VMCALL_GET_TSCFREQ     0x3
+#define VMCALL_TRACE_TF                0x4
 
 #define VMM_CTL_GET_EXITS              1
 #define VMM_CTL_SET_EXITS              2
@@ -19,7 +21,8 @@
 
 #define VMM_CTL_EXIT_HALT              (1 << 0)
 #define VMM_CTL_EXIT_PAUSE             (1 << 1)
-#define VMM_CTL_ALL_EXITS              ((1 << 2) - 1)
+#define VMM_CTL_EXIT_MWAIT             (1 << 2)
+#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)