X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config_class.h;h=b2edaeebe2c42f5aabfdaf70135c678046a30185;hp=36fee9b526f85723597f4b2061819b32e9f7f470;hb=5bf6d0c260240e314876a2fca8e3fd56bd6a1029;hpb=3373500a962dba67f09d120d7db3c2ea1d4beee2

diff --git a/palacios/src/palacios/vmm_config_class.h b/palacios/src/palacios/vmm_config_class.h
index 36fee9b..b2edaee 100644
--- a/palacios/src/palacios/vmm_config_class.h
+++ b/palacios/src/palacios/vmm_config_class.h
@@ -18,7 +18,7 @@
  */
 
 
-static int post_config_pc(struct guest_info * info, struct v3_config * config_ptr) {
+static int pre_config_pc(struct guest_info * info, struct v3_config * config_ptr) {
 
 
     info->cpu_mode = REAL;
@@ -34,6 +34,10 @@ static int post_config_pc(struct guest_info * info, struct v3_config * config_pt
     info->vm_regs.rcx = 0;
     info->vm_regs.rax = 0;
 
+    return 0;
+}
+
+static int post_config_pc(struct guest_info * info, struct v3_config * config_ptr) {
 
 #define VGABIOS_START 0x000c0000
 #define ROMBIOS_START 0x000f0000