} 
static int __init arcfb_init(void){	int ret;	if (!arcfb_enable)		return -ENXIO;	ret = driver_register(&arcfb_driver);	if (!ret) {		ret = platform_device_register(&arcfb_device);		if (ret)			driver_unregister(&arcfb_driver);	}	return ret;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8d972a962177a261fc894f767fa3014f63d661e9/arcfb.c/buggy/drivers/video/arcfb.c