X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=57aee0fffe39ccdbccb950f9037a12369de09fde;hp=741b2d979efc9f6a5d1548510428add7eff578f8;hb=d57b407f9d05a21303bc2c94cbd5142de130be48;hpb=e4d65eb1a4af57179bd00c397120c78c9e5b32b1

diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c
index 741b2d9..57aee0f 100644
--- a/palacios/src/palacios/vmm_halt.c
+++ b/palacios/src/palacios/vmm_halt.c
@@ -73,8 +73,8 @@ int v3_handle_halt(struct guest_info * info)
 	    // participate in any barrier that might be raised
 	    v3_wait_at_barrier(info);
 
-	    // stop if the VM is being halted
-	    if (info->core_run_state == CORE_STOPPED) { 
+	    // stop if the VM is being halted or core is being reset
+	    if (info->core_run_state == CORE_STOPPED || info->core_run_state == CORE_RESETTING) { 
 		break;
 	    }