int i830_emit_irq(drm_device_t *dev) 
static int i830_emit_irq(drm_device_t *dev) 
int i830_emit_irq(drm_device_t *dev){	drm_i830_private_t *dev_priv = dev->dev_private;	RING_LOCALS;	DRM_DEBUG("%s\n", __FUNCTION__);	atomic_inc(&dev_priv->irq_emitted);   	BEGIN_LP_RING(2);      	OUT_RING( 0 );      	OUT_RING( GFX_OP_USER_INTERRUPT );      	ADVANCE_LP_RING();	return atomic_read(&dev_priv->irq_emitted);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/i830_irq.c/clean/drivers/char/drm/i830_irq.c