diff --git a/src/cpu/x86_ops_misc.h b/src/cpu/x86_ops_misc.h
index a64a3edbb..a6e7e9193 100644
--- a/src/cpu/x86_ops_misc.h
+++ b/src/cpu/x86_ops_misc.h
@@ -627,6 +627,9 @@ static int opHLT(uint32_t fetchdat)
         CPU_BLOCK_END();
         PREFETCH_RUN(100, 1, -1, 0,0,0,0, 0);
 
+	if (hlt_reset_pending)
+		softresetx86();
+
         return 0;
 }