class_simple_device_remove(MKDEV(driver->major, driver->minor_start) + index);
class_device_destroy(tty_class, MKDEV(driver->major, driver->minor_start) + index);
void tty_unregister_device(struct tty_driver *driver, unsigned index){	devfs_remove("%s%d", driver->devfs_name, index + driver->name_base);	class_simple_device_remove(MKDEV(driver->major, driver->minor_start) + index);}