Added memory ranges

[palacios.git] / palacios / src / geekos / vmm.c

diff --git a/palacios/src/geekos/vmm.c b/palacios/src/geekos/vmm.c
index 9350cf0..ab9a5f6 100644 (file)
--- a/palacios/src/geekos/vmm.c
+++ b/palacios/src/geekos/vmm.c
@@ -12,8 +12,6 @@ struct vmm_os_hooks * os_hooks = NULL;
 
 
 
-
-
 void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops) {
   vmm_cpu_type = VMM_INVALID_CPU;
 
@@ -35,6 +33,3 @@ void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops) {
     PrintDebug("CPU has no virtualization Extensions\n");
   }
 }
-
-
-