X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm.c;h=ab9a5f6ce9efcd016decd2eedef9774d7ccb9db4;hp=9350cf01e7d020d086e99b6995ee71316d91d2aa;hb=701de97007c8b6776998eeab78469a4304f6b871;hpb=b4963a8a43ca9103946f926e062e609e4498c2e2

diff --git a/palacios/src/geekos/vmm.c b/palacios/src/geekos/vmm.c
index 9350cf0..ab9a5f6 100644
--- 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");
   }
 }
-
-
-