[Xen-devel] free_xen_event_channel() forgets to free the channel or it is obsolete?

["Tan, Lin" <lintan2@xxxxxxxx>]

Hi,

Should free_xen_event_channel() actually free the event_channel, by calling 
free_xen_event_channel() and then xfree()? Right now, it only closes the 
channel.

Or free_xen_event_channel() is not used at all and should be removed, as 
evtchn_destroy() does the same job?

It is in file common/event_channel.c.

Thanks,
Lin

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel