ret = platform_device_register(&sgivwfb_device); if (ret) 
sgivwfb_device = platform_device_alloc("sgivwfb", 0); if (sgivwfb_device) { ret = platform_device_add(sgivwfb_device); } else ret = -ENOMEM; if (ret) { 
int __init sgivwfb_init(void){	int ret;#ifndef MODULE	char *option = NULL;	if (fb_get_options("sgivwfb", &option))		return -ENODEV;	sgivwfb_setup(option);#endif	ret = driver_register(&sgivwfb_driver);	if (!ret) {		ret = platform_device_register(&sgivwfb_device);		if (ret)			driver_unregister(&sgivwfb_driver);	}	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2c119aa8091a15a87920f09aa0f17e05960fe11b/sgivwfb.c/buggy/drivers/video/sgivwfb.c