|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] free_xen_event_channel() forgets to free the channel or it i
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
|
|
|
|
|