Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu//home/palacios...

[palacios.git] / palacios / include / palacios / vmm_hypercall.h

diff --git a/palacios/include/palacios/vmm_hypercall.h b/palacios/include/palacios/vmm_hypercall.h
index 8a7fc5d..a7c79f2 100644 (file)
--- a/palacios/include/palacios/vmm_hypercall.h
+++ b/palacios/include/palacios/vmm_hypercall.h
@@ -50,7 +50,8 @@ typedef enum {
     TELEMETRY_HCALL =      0x3001,         // no args
     BALLOON_START_HCALL =  0xba00,         // RAX: size
     BALLOON_QUERY_HCALL =  0xba01,         // RCX: req_pgs(out), RDX: alloc_pgs(out)
-    OS_DEBUG_HCALL =       0xc0c0          // RBX: msg_gpa, RCX: msg_len, RDX: buf_is_va (flag)
+    OS_DEBUG_HCALL =       0xc0c0,          // RBX: msg_gpa, RCX: msg_len, RDX: buf_is_va (flag)
+    TIME_CPUFREQ_HCALL   =  0xd000       //RCX: cpu freq (out)
 } hcall_id_t;