- if (driver_registered == 1) {
- rte_eal_pci_unregister(&my_driver);
- rte_eal_pci_unregister(&my_driver2);
- driver_registered = 0;
- }
+
+ rte_eal_pci_unregister(&my_driver);
+ rte_eal_pci_unregister(&my_driver2);
+
+ /* Restore original driver list */
+ for (i = 0; i < num_drivers; i++)
+ rte_eal_pci_register(save_pci_driver_list[i]);