Cache information interface and implementation for AMD and Intel on Linux

[palacios.git] / linux_module / iface-host-pci.c

diff --git a/linux_module/iface-host-pci.c b/linux_module/iface-host-pci.c
index d9622c9..48097d8 100644 (file)
--- a/linux_module/iface-host-pci.c
+++ b/linux_module/iface-host-pci.c
@@ -233,6 +233,9 @@ static int host_pci_init( void ) {
 }
 
 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;
 }