for (i = 0; i < MAX_NBD; i++) { 
for (i = 0; i < nbds_max; i++) { 
static void __exit nbd_cleanup(void){	int i;	for (i = 0; i < MAX_NBD; i++) {		struct gendisk *disk = nbd_dev[i].disk;		if (disk) {			del_gendisk(disk);			blk_cleanup_queue(disk->queue);			put_disk(disk);		}	}	devfs_remove("nbd");	unregister_blkdev(NBD_MAJOR, "nbd");	printk(KERN_INFO "nbd: unregistered device at major %d\n", NBD_MAJOR);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/40be0c28b33ff0821594a3fa7126354dfe6eccd1/nbd.c/clean/drivers/block/nbd.c