static inline void sx_shutdown_board(struct specialix_board *bp){	func_enter();	if (!(bp->flags & SX_BOARD_ACTIVE)) {		func_exit();		return;	}	bp->flags &= ~SX_BOARD_ACTIVE;		dprintk (SX_DEBUG_IRQ, "Freeing IRQ%d for board %d.\n",		 bp->irq, board_No (bp));	free_irq(bp->irq, bp);	turn_ints_off (bp);	func_exit();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c