unregister_reboot_notifier(&ixgb_notifier_reboot); 
ixgb_exit_module(void){	unregister_reboot_notifier(&ixgb_notifier_reboot);	pci_unregister_driver(&ixgb_driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c2eba932b14718e34ac2609e35c6d41e032a2478/ixgb_main.c/buggy/drivers/net/ixgb/ixgb_main.c