int state_check(u32 state, struct dscc4_dev_priv *dpriv, struct net_device *dev, const char *msg) 
static int state_check(u32 state, struct dscc4_dev_priv *dpriv, struct net_device *dev, const char *msg) 
int state_check(u32 state, struct dscc4_dev_priv *dpriv, struct net_device *dev,		const char *msg){	int ret = 0;	if (debug > 1) {	if (SOURCE_ID(state) != dpriv->dev_id) {		printk(KERN_DEBUG "%s (%s): Source Id=%d, state=%08x\n",		       dev->name, msg, SOURCE_ID(state), state );			ret = -1;	}	if (state & 0x0df80c00) {		printk(KERN_DEBUG "%s (%s): state=%08x (UFO alert)\n",		       dev->name, msg, state);			ret = -1;	}	}	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7665a08928f241247afe8c76865cdbe4ef5489bf/dscc4.c/buggy/drivers/net/wan/dscc4.c