 if (dev->maplist) { drm_free(dev->maplist, sizeof(*dev->maplist), DRM_MEM_MAPS); dev->maplist = NULL; } 
static void drm_cleanup( drm_device_t *dev ){	DRM_DEBUG( "\n" );	if (!dev) {		DRM_ERROR("cleanup called no dev\n");		return;	}	drm_takedown( dev );		drm_ctxbitmap_cleanup( dev );		if (drm_core_has_MTRR(dev) && drm_core_has_AGP(dev) &&	    dev->agp && dev->agp->agp_mtrr >= 0) {		int retval;		retval = mtrr_del( dev->agp->agp_mtrr,				   dev->agp->agp_info.aper_base,				   dev->agp->agp_info.aper_size*1024*1024 );		DRM_DEBUG( "mtrr_del=%d\n", retval );	}		if (drm_core_has_AGP(dev) && dev->agp ) {		drm_free( dev->agp, sizeof(*dev->agp), DRM_MEM_AGPLISTS );		dev->agp = NULL;	}	if (dev->driver->postcleanup)		dev->driver->postcleanup(dev);		drm_put_head(&dev->primary);	if ( drm_put_dev(dev) )		DRM_ERROR( "Cannot unload module\n" );}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/836cf0465c422ee6d654060edd7c620d9cf0c09c/drm_drv.c/buggy/drivers/char/drm/drm_drv.c