disk->stamp = disk->stamp_idle = 0; 
disk->stamp = 0; 
void del_gendisk(struct gendisk *disk){	int p;	/* invalidate stuff */	for (p = disk->minors - 1; p > 0; p--) {		invalidate_partition(disk, p);		delete_partition(disk, p);	}	invalidate_partition(disk, 0);	disk->capacity = 0;	disk->flags &= ~GENHD_FL_UP;	unlink_gendisk(disk);	disk_stat_set_all(disk, 0);	disk->stamp = disk->stamp_idle = 0;	devfs_remove_disk(disk);	if (disk->driverfs_dev) {		sysfs_remove_link(&disk->kobj, "device");		sysfs_remove_link(&disk->driverfs_dev->kobj, "block");		put_device(disk->driverfs_dev);	}	kobject_hotplug(&disk->kobj, KOBJ_REMOVE);	kobject_del(&disk->kobj);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/20e5c81fcff89535dced2ed71cf24c6c648ff40e/check.c/clean/fs/partitions/check.c