ret = pci_module_init(&ixgb_driver); if(ret >= 0) { register_reboot_notifier(&ixgb_notifier_reboot); } return ret; 
return pci_module_init(&ixgb_driver); 
ixgb_init_module(void){	int ret;	printk(KERN_INFO "%s - version %s\n",	       ixgb_driver_string, ixgb_driver_version);	printk(KERN_INFO "%s\n", ixgb_copyright);	ret = pci_module_init(&ixgb_driver);	if(ret >= 0) {		register_reboot_notifier(&ixgb_notifier_reboot);	}	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c2eba932b14718e34ac2609e35c6d41e032a2478/ixgb_main.c/buggy/drivers/net/ixgb/ixgb_main.c