if (eb != NULL) { if (eb->buf_buf != NULL) kfree(eb->buf_buf); 
if (eb) { kfree(eb->buf_buf); 
void edge_buf_free(struct edge_buf *eb){	if (eb != NULL) {		if (eb->buf_buf != NULL)			kfree(eb->buf_buf);		kfree(eb);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1bc3c9e1e44c2059fe2ffa6ff70ad0a925d7b05f/io_ti.c/clean/drivers/usb/serial/io_ti.c