unregister_framebuffer(&vga16fb); iounmap(vga16fb.screen_base); fb_dealloc_cmap(&vga16fb.cmap); /* XXX unshare VGA regions */ 
platform_device_unregister(&vga16fb_device); driver_unregister(&vga16fb_driver); 
static void __exit vga16fb_exit(void){    unregister_framebuffer(&vga16fb);    iounmap(vga16fb.screen_base);    fb_dealloc_cmap(&vga16fb.cmap);    /* XXX unshare VGA regions */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/120ddb41f18c2d41702af561f4acfbcbd8d6fb46/vga16fb.c/buggy/drivers/video/vga16fb.c