X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config_class.h;h=3f5b238c5bcaca7e1540c71e94e231f6bbc6060d;hb=9a32111c4074aafd55cd9590a24bd5c751a6fe61;hp=2160c6e0704c8b00cbd1212c92205341f8855690;hpb=3e5e5a12e64630d7a37ed32b8d7e2d993c79f7e0;p=palacios.git diff --git a/palacios/src/palacios/vmm_config_class.h b/palacios/src/palacios/vmm_config_class.h index 2160c6e..3f5b238 100644 --- a/palacios/src/palacios/vmm_config_class.h +++ b/palacios/src/palacios/vmm_config_class.h @@ -17,11 +17,11 @@ * redistribute, and modify it as specified in the file "V3VEE_LICENSE". */ +#include -static int pre_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { +static int pre_config_pc_core(struct guest_info * info, v3_cfg_tree_t * cfg) { - info->cpu_mode = REAL; info->mem_mode = PHYSICAL_MEM; @@ -52,20 +52,31 @@ static int post_config_pc(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) { { extern uint8_t v3_vgabios_start[]; extern uint8_t v3_vgabios_end[]; - - addr_t vgabios_dst = v3_get_shadow_addr(&(vm->mem_map.base_region), VGABIOS_START); - memcpy(V3_VAddr((void *)vgabios_dst), v3_vgabios_start, v3_vgabios_end - v3_vgabios_start); + void * vgabios_dst = 0; + + if (v3_gpa_to_hva(&(vm->cores[0]), VGABIOS_START, (addr_t *)&vgabios_dst) == -1) { + PrintError("Could not find VGABIOS destination address\n"); + return -1; + } + + memcpy(vgabios_dst, v3_vgabios_start, v3_vgabios_end - v3_vgabios_start); } /* layout rombios */ { extern uint8_t v3_rombios_start[]; extern uint8_t v3_rombios_end[]; + void * rombios_dst = 0; + + if (v3_gpa_to_hva(&(vm->cores[0]), ROMBIOS_START, (addr_t *)&rombios_dst) == -1) { + PrintError("Could not find ROMBIOS destination address\n"); + return -1; + } - addr_t rombios_dst = v3_get_shadow_addr(&(vm->mem_map.base_region), ROMBIOS_START); - memcpy(V3_VAddr((void *)rombios_dst), v3_rombios_start, v3_rombios_end - v3_rombios_start); + memcpy(rombios_dst, v3_rombios_start, v3_rombios_end - v3_rombios_start); } + return 0; }