/* et131x_cleanup_module - The entry point called on driver cleanup  */
static void __exit et131x_cleanup_module(void)
/* et131x_cleanup_module - The entry point called on driver cleanup  */
static void __exit et131x_cleanup_module(void)
{
	pci_unregister_driver(&et131x_driver);
}