X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_types.h;h=1c2f9582a6487b3149bb26a4593b7e31a3cc6a77;hp=fd13ab73a7e948e27f462d2960e6e8eee2ee6a6f;hb=207e3b36648e4019ad8505c75ae6ef0778464a26;hpb=165560d91368d638b177022f883d3723d7618944

diff --git a/palacios/include/palacios/vmm_types.h b/palacios/include/palacios/vmm_types.h
index fd13ab7..1c2f958 100644
--- a/palacios/include/palacios/vmm_types.h
+++ b/palacios/include/palacios/vmm_types.h
@@ -23,6 +23,9 @@
 #ifdef __V3VEE__
 #include <palacios/vmm_stddef.h>
 
+
+
+
 typedef enum {SHADOW_PAGING, NESTED_PAGING} v3_paging_mode_t;
 typedef enum {VM_RUNNING, VM_STOPPED, VM_SUSPENDED, VM_ERROR, VM_EMULATING} v3_vm_operating_mode_t;
 
@@ -32,8 +35,6 @@ typedef enum {PHYSICAL_MEM, VIRTUAL_MEM} v3_vm_mem_mode_t;
 
 
 
-
-
 typedef signed char schar_t;
 typedef unsigned char uchar_t;