km_state_expired(x, 1); if (!mod_timer(&x->timer, jiffies + XFRM_ACQ_EXPIRES*HZ)) 
x->km.state = XFRM_STATE_EXPIRED; if (!mod_timer(&x->timer, jiffies)) 
int xfrm_state_check_expire(struct xfrm_state *x){	if (!x->curlft.use_time)		x->curlft.use_time = (unsigned long)xtime.tv_sec;	if (x->km.state != XFRM_STATE_VALID)		return -EINVAL;	if (x->curlft.bytes >= x->lft.hard_byte_limit ||	    x->curlft.packets >= x->lft.hard_packet_limit) {		km_state_expired(x, 1);		if (!mod_timer(&x->timer, jiffies + XFRM_ACQ_EXPIRES*HZ))			xfrm_state_hold(x);		return -EINVAL;	}	if (!x->km.dying &&	    (x->curlft.bytes >= x->lft.soft_byte_limit ||	     x->curlft.packets >= x->lft.soft_packet_limit))		km_state_expired(x, 0);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4666faab095230ec8aa62da6c33391287f281154/xfrm_state.c/buggy/net/xfrm/xfrm_state.c