if (ffb_position != NULL) kfree(ffb_position); 
kfree(ffb_position); 
static int ffb_driver_postcleanup(drm_device_t * dev){	if (ffb_position != NULL)		kfree(ffb_position);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/735d5661d5c5f023a78fbe68e771e261040ff1b7/ffb_drv.c/buggy/drivers/char/drm/ffb_drv.c