X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=b80c0eb797c12784a930e0abffd4f8e171679af3;hb=7cdedeb7a01b51c5242cce94924f2ea246008e7d;hp=6264a2e4b4b33166119a7d2f8d75e2e3e49119e9;hpb=3cd1d3771e3f8e30b09f6c4995851979aaafc5ff;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 6264a2e..b80c0eb 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -94,7 +94,7 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
   if (v3_cpu_type == V3_SVM_REV3_CPU) {
     info->shdw_pg_mode = NESTED_PAGING;
   } else {
-    init_shadow_page_state(info);
+    v3_init_shadow_page_state(info);
     info->shdw_pg_mode = SHADOW_PAGING;
   }
   
@@ -102,12 +102,12 @@ int v3_config_guest(struct guest_info * info, struct v3_vm_config * config_ptr)
   info->mem_mode = PHYSICAL_MEM;
   
  
-  init_vmm_io_map(info);
-  init_interrupt_state(info);
+  v3_init_vmm_io_map(info);
+  v3_init_interrupt_state(info);
   
   v3_init_dev_mgr(info);
 
-  init_emulator(info);
+  v3_init_emulator(info);
   
   v3_init_host_events(info);