if (dev->dev_private) kfree(dev->dev_private); 
kfree(dev->dev_private); 
static void ffb_driver_pretakedown(drm_device_t * dev){	if (dev->dev_private)		kfree(dev->dev_private);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/735d5661d5c5f023a78fbe68e771e261040ff1b7/ffb_drv.c/buggy/drivers/char/drm/ffb_drv.c