X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fiface-host-pci.c;h=48097d8322d74bd4a63b88acb2eff0cc3d6b1a86;hb=8cd246c3830733c2850cef049a7ad153daf0dd13;hp=13897aba35e8b020614197d577b7587c7a026fef;hpb=5c2a2684778fa080c41a0f04518721ebe476efb1;p=palacios.git

diff --git a/linux_module/iface-host-pci.c b/linux_module/iface-host-pci.c
index 13897ab..48097d8 100644
--- a/linux_module/iface-host-pci.c
+++ b/linux_module/iface-host-pci.c
@@ -232,11 +232,18 @@ static int host_pci_init( void ) {
     return 0;
 }
 
+static int host_pci_deinit(void) {
+  remove_global_ctrl(V3_ADD_PCI_USER_DEV);
+  remove_global_ctrl(V3_ADD_PCI_HW_DEV);
 
+  palacios_spinlock_deinit(&lock);
+  return 0;
+}
 
 static struct linux_ext host_pci_ext = {
     .name = "HOST_PCI",
     .init = host_pci_init,
+    .deinit = host_pci_deinit,
 };