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/dma.h b/lib/dma.h
index 226e758..cd37bf3 100644
--- a/lib/dma.h
+++ b/lib/dma.h
@@ -101,6 +101,9 @@ dma_controller_t *
 dma_controller_create(vfu_ctx_t *vfu_ctx, int max_regions);
 
 void
+dma_controller_remove_regions(dma_controller_t *dma);
+
+void
 dma_controller_destroy(dma_controller_t *dma);
 
 /* Registers a new memory region.