kfree (db); 
kfree(db); 
static void bsd_free (void *state){	struct bsd_db *db = (struct bsd_db *) state;	if (db) {		/*		 * Release the dictionary		 */		if (db->dict) {			vfree (db->dict);			db->dict = NULL;		}		/*		 * Release the string buffer		 */		if (db->lens) {			vfree (db->lens);			db->lens = NULL;		}		/*		 * Finally release the structure itself.		 */		kfree (db);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f9101210e7aa72daf92722d451a2f7e3af5f781f/isdn_bsdcomp.c/clean/drivers/isdn/i4l/isdn_bsdcomp.c