minor updates

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

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index ec36284..a892094 100644 (file)
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -82,14 +82,16 @@
     }                                                  \
   } while (0)                                          \
 
-#define V3_CPU_KHZ(khz)                                        \
-  do {                                                 \
+#define V3_CPU_KHZ()                                   \
+  ({                                                   \
+    unsigned int khz = 0;                              \
     extern struct vmm_os_hooks * os_hooks;             \
     if ((os_hooks) && (os_hooks)->get_cpu_khz) {       \
       khz = (os_hooks)->get_cpu_khz();                 \
     }                                                  \
-  } while (0)                                          \
-
+    khz;                                               \
+  })                                                   \
+    
 
 /* ** */