iounmap ((void *)par->mmio.vbase); 
iounmap(par->mmio.vbase); 
static void __devinit savage_unmap_mmio (struct fb_info *info){	struct savagefb_par *par = (struct savagefb_par *)info->par;	DBG ("savage_unmap_mmio");	savage_disable_mmio(par);	if (par->mmio.vbase) {		iounmap ((void *)par->mmio.vbase);		par->mmio.vbase = NULL;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0d3e8fe662c31d614f809d0131e134e2692d6a68/savagefb_driver.c/buggy/drivers/video/savage/savagefb_driver.c