void mga_driver_pretakedown(drm_device_t *dev) 
void mga_driver_pretakedown(drm_device_t * dev) 
void mga_driver_pretakedown(drm_device_t *dev){	mga_do_cleanup_dma( dev );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6795c985a648d1e90b367cc1387c18205ecca4b8/mga_dma.c/clean/drivers/char/drm/mga_dma.c