static int __init i810fb_init(void) 
static int __devinit i810fb_init(void) 
static int __init i810fb_init(void){	char *option = NULL;	if (fb_get_options("i810fb", &option))		return -ENODEV;	i810fb_setup(option);	return pci_register_driver(&i810fb_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/74f6ae84b2315c2fa8a4110b09a1c0f3dca92674/i810_main.c/buggy/drivers/video/i810/i810_main.c