void ibmtr_reset_timer(struct timer_list *tmr, struct net_device *dev) 
static void ibmtr_reset_timer(struct timer_list *tmr, struct net_device *dev) 
void ibmtr_reset_timer(struct timer_list *tmr, struct net_device *dev){	tmr->expires = jiffies + TR_RETRY_INTERVAL;	tmr->data = (unsigned long) dev;	tmr->function = tok_rerun;	init_timer(tmr);	add_timer(tmr);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/de70b4c87b8f1d484cf533536c0c6ce2e05101cf/ibmtr.c/buggy/drivers/net/tokenring/ibmtr.c