X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm.c;h=05fd183b5e55ffb8ff185be054fad77b6661e7d1;hp=ed0cfb99257d355c9a352b4df5a21c4be47f5c5b;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hpb=d240aa16811174593dc6e6ca9c796db05948c353

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index ed0cfb9..05fd183 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -849,6 +849,18 @@ int v3_start_svm_guest(struct guest_info * info) {
 
     PrintDebug(info->vm_info, info, "Starting SVM core %u (on logical core %u)\n", info->vcpu_id, info->pcpu_id);
 
+
+#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
+ 
+
+	    
+
+
     while (1) {
 
 	if (info->core_run_state == CORE_STOPPED) {
@@ -898,7 +910,6 @@ int v3_start_svm_guest(struct guest_info * info) {
 	    info->core_run_state = CORE_STOPPED;
 	    break;
 	}
-	
 
 #ifdef V3_CONFIG_PMU_TELEMETRY
 	v3_pmu_telemetry_start(info);