if (jiffies - fepriv->release_jiffies > dvb_shutdown_timeout * HZ) 
if (time_after(jiffies, fepriv->release_jiffies + dvb_shutdown_timeout * HZ)) 
static int dvb_frontend_is_exiting(struct dvb_frontend *fe){	struct dvb_frontend_private *fepriv = fe->frontend_priv;	if (fepriv->exit)		return 1;	if (fepriv->dvbdev->writers == 1)		if (jiffies - fepriv->release_jiffies > dvb_shutdown_timeout * HZ)			return 1;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/cc89c229d9d7ec63cd33e960c20e75b77bc987d0/dvb_frontend.c/buggy/drivers/media/dvb/dvb-core/dvb_frontend.c