i2o_device_exit(); 
static void __exit i2o_iop_exit(void){	i2o_pci_exit();	i2o_exec_exit();	i2o_driver_exit();	class_destroy(i2o_controller_class);	i2o_device_exit();};
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7bd7b091429705eb281d60c553cc643aada8045a/iop.c/buggy/drivers/message/i2o/iop.c