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

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;