int drm_remove_magic(drm_device_t *dev, drm_magic_t magic) 
static int drm_remove_magic(drm_device_t *dev, drm_magic_t magic) 
int drm_remove_magic(drm_device_t *dev, drm_magic_t magic){	drm_magic_entry_t *prev = NULL;	drm_magic_entry_t *pt;	int		  hash;	DRM_DEBUG("%d\n", magic);	hash = drm_hash_magic(magic);	down(&dev->struct_sem);	for (pt = dev->magiclist[hash].head; pt; prev = pt, pt = pt->next) {		if (pt->magic == magic) {			if (dev->magiclist[hash].head == pt) {				dev->magiclist[hash].head = pt->next;			}			if (dev->magiclist[hash].tail == pt) {				dev->magiclist[hash].tail = prev;			}			if (prev) {				prev->next = pt->next;			}			up(&dev->struct_sem);			return 0;		}	}	up(&dev->struct_sem);	drm_free(pt, sizeof(*pt), DRM_MEM_MAGIC);	return -EINVAL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/drm_auth.c/buggy/drivers/char/drm/drm_auth.c