drm_pci_free(drm_device_t * dev, size_t size, void *vaddr, dma_addr_t busaddr) 
drm_pci_free(drm_device_t *dev, drm_dma_handle_t *dmah) 
drm_pci_free(drm_device_t * dev, size_t size, void *vaddr, dma_addr_t busaddr){#if DRM_DEBUG_MEMORY	int area = DRM_MEM_DMA;	int alloc_count;	int free_count;#endif	if (!vaddr) {#if DRM_DEBUG_MEMORY		DRM_MEM_ERROR(area, "Attempt to free address 0\n");#endif	} else {		pci_free_consistent(dev->pdev, size, vaddr, busaddr);	}#if DRM_DEBUG_MEMORY	spin_lock(&drm_mem_lock);	free_count = ++drm_mem_stats[area].free_count;	alloc_count = drm_mem_stats[area].succeed_count;	drm_mem_stats[area].bytes_freed += size;	drm_ram_used -= size;	spin_unlock(&drm_mem_lock);	if (free_count > alloc_count) {		DRM_MEM_ERROR(area,			      "Excess frees: %d frees, %d allocs\n",			      free_count, alloc_count);	}#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9c8da5ebbf6f87293cf8555182da271449889a69/drm_pci.c/clean/drivers/char/drm/drm_pci.c