class_device_create(vc_class, MKDEV(VCS_MAJOR, tty->index + 1), NULL, "vcs%u", tty->index + 1); class_device_create(vc_class, MKDEV(VCS_MAJOR, tty->index + 129), NULL, "vcsa%u", tty->index + 1); 
class_device_create(vc_class, NULL, MKDEV(VCS_MAJOR, tty->index + 1), NULL, "vcs%u", tty->index + 1); class_device_create(vc_class, NULL, MKDEV(VCS_MAJOR, tty->index + 129), NULL, "vcsa%u", tty->index + 1); 
void vcs_make_devfs(struct tty_struct *tty){	devfs_mk_cdev(MKDEV(VCS_MAJOR, tty->index + 1),			S_IFCHR|S_IRUSR|S_IWUSR,			"vcc/%u", tty->index + 1);	devfs_mk_cdev(MKDEV(VCS_MAJOR, tty->index + 129),			S_IFCHR|S_IRUSR|S_IWUSR,			"vcc/a%u", tty->index + 1);	class_device_create(vc_class, MKDEV(VCS_MAJOR, tty->index + 1), NULL, "vcs%u", tty->index + 1);	class_device_create(vc_class, MKDEV(VCS_MAJOR, tty->index + 129), NULL, "vcsa%u", tty->index + 1);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/53f4654272df7c51064825024340554b39c9efba/vc_screen.c/clean/drivers/char/vc_screen.c