int drm_context_switch( drm_device_t *dev, int old, int new ) 
static int drm_context_switch( drm_device_t *dev, int old, int new ) 
int drm_context_switch( drm_device_t *dev, int old, int new ){        if ( test_and_set_bit( 0, &dev->context_flag ) ) {                DRM_ERROR( "Reentering -- FIXME\n" );                return -EBUSY;        }        DRM_DEBUG( "Context switch from %d to %d\n", old, new );        if ( new == dev->last_context ) {                clear_bit( 0, &dev->context_flag );                return 0;        }        return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f210973bb6d17aa220c797e8ea23d127d96859b7/drm_context.c/buggy/drivers/char/drm/drm_context.c