X-Git-Url: https://git.saurik.com/apple/xnu.git/blobdiff_plain/316670eb35587141e969394ae8537d66b9211e80..04b8595b18b1b41ac7a206e4b3d51a635f8413d7:/osfmk/i386/machine_task.c

diff --git a/osfmk/i386/machine_task.c b/osfmk/i386/machine_task.c
index 3c2d93ffd..342f123f5 100644
--- a/osfmk/i386/machine_task.c
+++ b/osfmk/i386/machine_task.c
@@ -58,6 +58,10 @@
 #include <kern/thread.h>
 #include <i386/misc_protos.h>
 
+#if HYPERVISOR
+#include <kern/hv_support.h>
+#endif
+
 extern zone_t ids_zone;
 
 kern_return_t
@@ -240,6 +244,13 @@ machine_task_terminate(task_t task)
 		user_ldt_t user_ldt;
 		void *task_debug;
 
+#if HYPERVISOR
+		if (task->hv_task_target) {
+			hv_callbacks.task_destroy(task->hv_task_target);
+			task->hv_task_target = NULL;
+		}
+#endif
+
 		user_ldt = task->i386_ldt;
 		if (user_ldt != 0) {
 			task->i386_ldt = 0;