void xfrm_state_delete(struct xfrm_state *x) 
int xfrm_state_delete(struct xfrm_state *x) 
void xfrm_state_delete(struct xfrm_state *x){	spin_lock_bh(&x->lock);	__xfrm_state_delete(x);	spin_unlock_bh(&x->lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/26b15dad9f1c19d6d4f7b999b07eaa6d98e4b375/xfrm_state.c/buggy/net/xfrm/xfrm_state.c