|
|
|
|
|
|
|
|
|
|
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
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [Xen-devel] free_xen_event_channel() forgets to free the channel or it is obsolete?,
Tan, Lin <=
|
|
|
|
|