dbg("pci_unregister_driver\n");
static void __exit shpcd_cleanup(void){	dbg("unload_shpchpd()\n");	unload_shpchpd();	dbg("pci_unregister_driver\n");	pci_unregister_driver(&shpc_driver);	info(DRIVER_DESC " version: " DRIVER_VERSION " unloaded\n");}