X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=de1edeefcab491ab555a007e4bbbf385a85fe020;hb=abf911f47d91375cfbe41bee04e980aa829d26f3;hp=7ae2239cfd3ba5cc6e97c14396aa1d803d3ee508;hpb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 7ae2239..de1edee 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -13,6 +13,7 @@ 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;