release_region(bp->base, 
release_region(bp->base, 
static inline void sx_release_io_range(struct specialix_board * bp){	release_region(bp->base, 	               bp->flags&SX_BOARD_IS_PCI?SX_PCI_IO_SPACE:SX_IO_SPACE);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c