int postinit( struct drm_device *dev, unsigned long flags ) 
static int postinit( struct drm_device *dev, unsigned long flags ) 
int postinit( struct drm_device *dev, unsigned long flags ){	dev->counters += 4;	dev->types[6] = _DRM_STAT_IRQ;	dev->types[7] = _DRM_STAT_PRIMARY;	dev->types[8] = _DRM_STAT_SECONDARY;	dev->types[9] = _DRM_STAT_DMA;		DRM_INFO( "Initialized %s %d.%d.%d %s on minor %d: %s\n",		DRIVER_NAME,		DRIVER_MAJOR,		DRIVER_MINOR,		DRIVER_PATCHLEVEL,		DRIVER_DATE,		dev->primary.minor,		pci_pretty_name(dev->pdev)		);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c94f70298529d99ac6e1ee7709f61eab00adeb39/i830_drv.c/buggy/drivers/char/drm/i830_drv.c