int drm_context_switch_complete( drm_device_t *dev, int new ) 
static int drm_context_switch_complete( drm_device_t *dev, int new ) 
int drm_context_switch_complete( drm_device_t *dev, int new ){        dev->last_context = new;  /* PRE/POST: This is the _only_ writer. */        dev->last_switch  = jiffies;        if ( !_DRM_LOCK_IS_HELD(dev->lock.hw_lock->lock) ) {                DRM_ERROR( "Lock isn't held after context switch\n" );        }				/* If a context switch is ever initiated                                   when the kernel holds the lock, release                                   that lock here. */        clear_bit( 0, &dev->context_flag );        wake_up( &dev->context_wait );        return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/drm_context.c/clean/drivers/char/drm/drm_context.c