class_simple_device_remove(MKDEV(VCS_MAJOR, tty->index + 1)); class_simple_device_remove(MKDEV(VCS_MAJOR, tty->index + 129)); 
class_device_destroy(vc_class, MKDEV(VCS_MAJOR, tty->index + 1)); class_device_destroy(vc_class, MKDEV(VCS_MAJOR, tty->index + 129)); 
void vcs_remove_devfs(struct tty_struct *tty){	devfs_remove("vcc/%u", tty->index + 1);	devfs_remove("vcc/a%u", tty->index + 1);	class_simple_device_remove(MKDEV(VCS_MAJOR, tty->index + 1));	class_simple_device_remove(MKDEV(VCS_MAJOR, tty->index + 129));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ca8eca6884861c1ce294b05aacfdf9045bba9aff/vc_screen.c/clean/drivers/char/vc_screen.c