static void dst_release(struct dvb_frontend* fe) 
static void dst_release(struct dvb_frontend *fe) 
static void dst_release(struct dvb_frontend* fe){	struct dst_state* state = fe->demodulator_priv;	kfree(state);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst.c/buggy/drivers/media/dvb/bt8xx/dst.c