struct fb_info *info = gx1fb_info; struct geodefb_par *par = gx1fb_info->par;  unregister_framebuffer(info);  iounmap((void __iomem *)info->screen_base); iounmap(par->vid_regs); iounmap(par->dc_regs);  pci_dev_put(par->vid_dev);  framebuffer_release(info); 
pci_unregister_driver(&gx1fb_driver); 
static void __exit gx1fb_cleanup(void){	struct fb_info *info = gx1fb_info;	struct geodefb_par *par = gx1fb_info->par;	unregister_framebuffer(info);	iounmap((void __iomem *)info->screen_base);	iounmap(par->vid_regs);	iounmap(par->dc_regs);	pci_dev_put(par->vid_dev);	framebuffer_release(info);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/53eed4ec8bcd8701b9135859ec46b10a0d88ba25/gx1fb_core.c/buggy/drivers/video/geode/gx1fb_core.c