class_device_create(tty_class, dev, device, name); 
class_device_create(tty_class, NULL, dev, device, "%s", name); 
void tty_register_device(struct tty_driver *driver, unsigned index,			 struct device *device){	char name[64];	dev_t dev = MKDEV(driver->major, driver->minor_start) + index;	if (index >= driver->num) {		printk(KERN_ERR "Attempt to register invalid tty line number "		       " (%d).\n", index);		return;	}	devfs_mk_cdev(dev, S_IFCHR | S_IRUSR | S_IWUSR,			"%s%d", driver->devfs_name, index + driver->name_base);	if (driver->type == TTY_DRIVER_TYPE_PTY)		pty_line_name(driver, index, name);	else		tty_line_name(driver, index, name);	class_device_create(tty_class, dev, device, name);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53f4654272df7c51064825024340554b39c9efba/tty_io.c/clean/drivers/char/tty_io.c