if(request_region(io,2, "cadet-probe")>=0) { 
if (request_region(io, 2, "cadet-probe")) { 
static int cadet_probe(void){        static int iovals[8]={0x330,0x332,0x334,0x336,0x338,0x33a,0x33c,0x33e};	int i;	for(i=0;i<8;i++) {	        io=iovals[i];	        if(request_region(io,2, "cadet-probe")>=0) {		        cadet_setfreq(1410);			if(cadet_getfreq()==1410) {				release_region(io, 2);			        return io;			}			release_region(io, 2);		}	}	return -1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f1ac046d7b297186f755fb213589b539426e1406/radio-cadet.c/buggy/drivers/media/radio/radio-cadet.c