X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx.c;h=daf8eeea08c6c285859915944c075528163f24d6;hp=f0823b4cfe5c6d099fd8950fe8351985aefc4487;hb=cfc3d544077dfbcc8b407fef7b76fa4c4b30f300;hpb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289

diff --git a/palacios/src/palacios/vmx.c b/palacios/src/palacios/vmx.c
index f0823b4..daf8eee 100644
--- a/palacios/src/palacios/vmx.c
+++ b/palacios/src/palacios/vmx.c
@@ -1198,9 +1198,9 @@ int v3_start_vmx_guest(struct guest_info * info) {
 
     PrintDebug(info->vm_info, info, "Starting VMX core %u\n", info->vcpu_id);
 
-#if V3_CONFIG_HVM
-    if (v3_setup_hvm_vm_for_boot(vm)) { 
-	PrintError(vm, VCORE_NONE, "HVM setup for boot failed\n");
+#ifdef V3_CONFIG_HVM
+    if (v3_setup_hvm_hrt_core_for_boot(info)) { 
+	PrintError(info->vm_info, info, "Failed to setup HRT core...\n");
 	return -1;
     }
 #endif