return pci_module_init(&ioc3_driver); 
return pci_register_driver(&ioc3_driver); 
static int __init ioc3_init_module(void){	return pci_module_init(&ioc3_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/70f1e002cfaad708ac561bcc6700dc50888999f5/ioc3-eth.c/clean/drivers/net/ioc3-eth.c