if (tdev) kfree(tdev); 
kfree(tdev); 
static void ti_shutdown(struct usb_serial *serial){	int i;	struct ti_device *tdev = usb_get_serial_data(serial);	struct ti_port *tport;	dbg("%s", __FUNCTION__);	for (i=0; i < serial->num_ports; ++i) {		tport = usb_get_serial_port_data(serial->port[i]);		if (tport) {			ti_buf_free(tport->tp_write_buf);			kfree(tport);			usb_set_serial_port_data(serial->port[i], NULL);		}	}	if (tdev)		kfree(tdev);	usb_set_serial_data(serial, NULL);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1bc3c9e1e44c2059fe2ffa6ff70ad0a925d7b05f/ti_usb_3410_5052.c/clean/drivers/usb/serial/ti_usb_3410_5052.c