release_console_sem();  
pci_save_state(dev); 
static int savagefb_suspend (struct pci_dev* dev, pm_message_t state){	struct fb_info *info =		(struct fb_info *)pci_get_drvdata(dev);	struct savagefb_par *par = (struct savagefb_par *)info->par;	DBG("savagefb_suspend");	acquire_console_sem();	fb_set_suspend(info, pci_choose_state(dev, state));	savage_disable_mmio(par);	release_console_sem();	pci_disable_device(dev);	pci_set_power_state(dev, pci_choose_state(dev, state));	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/13776711ce4b234b5ad153e55e8b5d6703c6b1ef/savagefb_driver.c/buggy/drivers/video/savage/savagefb_driver.c