static void __exit specialix_exit_module(void){	int i;		func_enter();	sx_release_drivers();	for (i = 0; i < SX_NBOARD; i++)		if (sx_board[i].flags & SX_BOARD_PRESENT) 			sx_release_io_range(&sx_board[i]);#ifdef SPECIALIX_TIMER	del_timer (&missed_irq_timer);#endif	func_exit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c