int ubd_init(void){        int i;	devfs_mk_dir("ubd");	if (register_blkdev(MAJOR_NR, "ubd"))		return -1;	ubd_queue = blk_init_queue(do_ubd_request, &ubd_io_lock);	if (!ubd_queue) {		unregister_blkdev(MAJOR_NR, "ubd");		return -1;	}			if (fake_major != MAJOR_NR) {		char name[sizeof("ubd_nnn\0")];		snprintf(name, sizeof(name), "ubd_%d", fake_major);		devfs_mk_dir(name);		if (register_blkdev(fake_major, "ubd"))			return -1;	}	driver_register(&ubd_driver);	for (i = 0; i < MAX_DEV; i++) 		ubd_add(i);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/09ace81c1d737bcbb2423db235ac980cac4d5de9/ubd_kern.c/buggy/arch/um/drivers/ubd_kern.c