From: Jack Lange Date: Fri, 18 Sep 2009 22:37:24 +0000 (-0500) Subject: build fix X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=5f9220bcb26dad22a49ae532a460df4c7e2a1001 build fix --- diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c index 7ba76eb..dd2e407 100644 --- a/palacios/src/palacios/svm.c +++ b/palacios/src/palacios/svm.c @@ -90,14 +90,13 @@ static void Init_VMCB_BIOS(vmcb_t * vmcb, struct guest_info *vm_info) { ctrl_area->svm_instrs.CLGI = 1; ctrl_area->svm_instrs.SKINIT = 1; ctrl_area->svm_instrs.RDTSCP = 1; - ctrl_area->svm_instrs.CPUID = 1; ctrl_area->svm_instrs.ICEBP = 1; ctrl_area->svm_instrs.WBINVD = 1; ctrl_area->svm_instrs.MONITOR = 1; ctrl_area->svm_instrs.MWAIT_always = 1; ctrl_area->svm_instrs.MWAIT_if_armed = 1; ctrl_area->instrs.INVLPGA = 1; - + ctrl_area->instrs.CPUID = 1; ctrl_area->instrs.HLT = 1; // guest_state->cr0 = 0x00000001; // PE