vfu_reset_ctx(): tear down DMA and IRQs (#418)

When we lose the client connection, the IRQ and DMA region state is no longer
valid; clean them up.

Signed-off-by: John Levon <john.levon@nutanix.com>
Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>

1 files changed, 3 insertions, 0 deletions

diff --git a/lib/irq.h b/lib/irq.h
index 0fed648..c230023 100644
--- a/lib/irq.h
+++ b/lib/irq.h
@@ -35,6 +35,9 @@
 
 #include "private.h"
 
+void
+irqs_reset(vfu_ctx_t *vfu_ctx);
+
 int
 handle_device_get_irq_info(vfu_ctx_t *vfu_ctx, uint32_t size,
                            struct vfio_irq_info *irq_info_in,