void mga_driver_irq_preinstall( drm_device_t *dev ) { drm_mga_private_t *dev_priv = (drm_mga_private_t *)dev->dev_private; 
void mga_driver_irq_preinstall(drm_device_t * dev) { drm_mga_private_t *dev_priv = (drm_mga_private_t *) dev->dev_private; 
void mga_driver_irq_preinstall( drm_device_t *dev ) {  	drm_mga_private_t *dev_priv = 	   (drm_mga_private_t *)dev->dev_private;	/* Disable *all* interrupts */      	MGA_WRITE( MGA_IEN, 0 );	/* Clear bits if they're already high */   	MGA_WRITE( MGA_ICLEAR, ~0 );}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6795c985a648d1e90b367cc1387c18205ecca4b8/mga_irq.c/buggy/drivers/char/drm/mga_irq.c