diff options
author | "Gianni Tedesco (3P)" <gianni.tedesco@citrix.com> | 2010-08-11 15:51:04 +0100 |
---|---|---|
committer | "Gianni Tedesco (3P)" <gianni.tedesco@citrix.com> | 2010-08-11 15:51:04 +0100 |
commit | ca095c507e36c27ea1cdc89493624a5c5d3eeabe (patch) | |
tree | cf87ea4695d14456db234abf419ce42b2b553628 /tools/flask/libflask | |
parent | bb3bac1c3b5daaf54cc6ef2869c75488e48d6e7e (diff) | |
download | xen-ca095c507e36c27ea1cdc89493624a5c5d3eeabe.tar.gz xen-ca095c507e36c27ea1cdc89493624a5c5d3eeabe.tar.bz2 xen-ca095c507e36c27ea1cdc89493624a5c5d3eeabe.zip |
xl: don't use libxl allocator for vcpu_list
This also fixes a bug with an erroneous call to libxl_free().
A destructor for the vcpu list is also implemented which is called from
xl.
Signed-off-by: Gianni Tedesco <gianni.tedesco@citrix.com>
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'tools/flask/libflask')
0 files changed, 0 insertions, 0 deletions