class_simple_device_remove(MKDEV(VIOTAPE_MAJOR, i | 0x80)); class_simple_device_remove(MKDEV(VIOTAPE_MAJOR, i)); 
class_device_destroy(tape_class, MKDEV(VIOTAPE_MAJOR, i | 0x80)); class_device_destroy(tape_class, MKDEV(VIOTAPE_MAJOR, i)); 
static int viotape_remove(struct vio_dev *vdev){	int i = vdev->unit_address;	devfs_remove("iseries/nvt%d", i);	devfs_remove("iseries/vt%d", i);	devfs_unregister_tape(state[i].dev_handle);	class_simple_device_remove(MKDEV(VIOTAPE_MAJOR, i | 0x80));	class_simple_device_remove(MKDEV(VIOTAPE_MAJOR, i));	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ca8eca6884861c1ce294b05aacfdf9045bba9aff/viotape.c/buggy/drivers/char/viotape.c