class_simple_device_remove(MKDEV(FB_MAJOR, i)); 
class_device_destroy(fb_class, MKDEV(FB_MAJOR, i)); 
unregister_framebuffer(struct fb_info *fb_info){	int i;	i = fb_info->node;	if (!registered_fb[i])		return -EINVAL;	devfs_remove("fb/%d", i);	if (fb_info->pixmap.addr && (fb_info->pixmap.flags & FB_PIXMAP_DEFAULT))		kfree(fb_info->pixmap.addr);	fb_destroy_modelist(&fb_info->modelist);	registered_fb[i]=NULL;	num_registered_fb--;	fb_cleanup_class_device(fb_info);	class_simple_device_remove(MKDEV(FB_MAJOR, i));	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/fbmem.c/buggy/drivers/video/fbmem.c