int pcbit_stat(u_char __user *buf, int len, int driver, int channel) 
static int pcbit_stat(u_char __user *buf, int len, int driver, int channel) 
int pcbit_stat(u_char __user *buf, int len, int driver, int channel){	int stat_count;	stat_count = stat_end - stat_st;	if (stat_count < 0)		stat_count = STATBUF_LEN - stat_st + stat_end;	/* FIXME: should we sleep and wait for more cookies ? */	if (len > stat_count)            		len = stat_count;	if (stat_st < stat_end)	{		copy_to_user(buf, statbuf + stat_st, len);		stat_st += len;	   	}	else	{		if (len > STATBUF_LEN - stat_st)		{			copy_to_user(buf, statbuf + stat_st, 				       STATBUF_LEN - stat_st);			copy_to_user(buf, statbuf, 				       len - (STATBUF_LEN - stat_st));			stat_st = len - (STATBUF_LEN - stat_st);		}		else		{			copy_to_user(buf, statbuf + stat_st, len);			stat_st += len;						if (stat_st == STATBUF_LEN)				stat_st = 0;		}	}	if (stat_st == stat_end)		stat_st = stat_end = 0;	return len;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/886cca3a0fda659e17c730c20929134014ebe1f2/drv.c/buggy/drivers/isdn/pcbit/drv.c