On Thu, Apr 14, Juergen Gross wrote: > Overwriting the array pointer is done in other places already. Seems > as if this would be the way to go. See device_disk_add() in libxl.c
Yes, there is no other way. Calling flexarray_free works only with NO_GC allocations. Olaf _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
