static __inline__ void radeon_acknowledge_irqs(drm_radeon_private_t *dev_priv) 
static __inline__ u32 radeon_acknowledge_irqs(drm_radeon_private_t *dev_priv, u32 mask) 
static __inline__ void radeon_acknowledge_irqs(drm_radeon_private_t *dev_priv){	u32 tmp = RADEON_READ( RADEON_GEN_INT_STATUS )		& (RADEON_SW_INT_TEST_ACK | RADEON_CRTC_VBLANK_STAT);	if (tmp)		RADEON_WRITE( RADEON_GEN_INT_STATUS, tmp );}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6921e3310486a6e5ac3f36efcc7351347503c71a/radeon_irq.c/buggy/drivers/char/drm/radeon_irq.c