int ubd_init(void){        int i;	ubd_reply_fd = init_aio_irq(UBD_IRQ, "ubd", ubd_intr);	if(ubd_reply_fd < 0)		printk("Setting up ubd AIO failed, err = %d\n", ubd_reply_fd);	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;	}			blk_queue_max_hw_segments(ubd_queue, MAX_SG);	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;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/91acb21f084aa244f26839406ae7ed8aa3668058/ubd_kern.c/buggy/arch/um/drivers/ubd_kern.c