platform_device_unregister(&arcfb_device); 
platform_device_unregister(arcfb_device); 
static void __exit arcfb_exit(void){	platform_device_unregister(&arcfb_device);	driver_unregister(&arcfb_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8d972a962177a261fc894f767fa3014f63d661e9/arcfb.c/buggy/drivers/video/arcfb.c