diff --git a/devicemodel/core/main.c b/devicemodel/core/main.c
index a3ece87ee..f52a057c9 100644
--- a/devicemodel/core/main.c
+++ b/devicemodel/core/main.c
@@ -674,6 +674,8 @@ vm_reset_vdevs(struct vmctx *ctx)
 	pci_irq_deinit(ctx);
 	ioapic_deinit();
 
+	iothread_deinit();
+
 	pci_irq_init(ctx);
 	atkbdc_init(ctx);
 	vrtc_init(ctx);