# HG changeset patch
# User Ian Campbell <ian.campbell@xxxxxxxxxx>
# Date 1281969065 -3600
# Node ID 9ff0821b2c7915051a64ca89ec9c64a4484c16ad
# Parent 8c709ca39c91e53add430ada580e027af6100eef
xl: use libxl_device_pci_destroy
Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
diff -r 8c709ca39c91 -r 9ff0821b2c79 tools/libxl/xl_cmdimpl.c
--- a/tools/libxl/xl_cmdimpl.c Mon Aug 16 15:31:05 2010 +0100
+++ b/tools/libxl/xl_cmdimpl.c Mon Aug 16 15:31:05 2010 +0100
@@ -2008,6 +2008,7 @@ void pcilist(char *dom)
printf("VFn domain bus slot func\n");
for (i = 0; i < num; i++) {
printf("0x%02x 0x%04x 0x%02x 0x%02x 0x%01x\n", pcidevs[i].vdevfn,
pcidevs[i].domain, pcidevs[i].bus, pcidevs[i].dev, pcidevs[i].func);
+ libxl_device_pci_destroy(&pcidevs[i]);
}
free(pcidevs);
}
@@ -2050,6 +2051,7 @@ void pcidetach(char *dom, char *bdf)
exit(2);
}
libxl_device_pci_remove(&ctx, domid, &pcidev);
+ libxl_device_pci_destroy(&pcidev);
}
int main_pcidetach(int argc, char **argv)
@@ -2090,6 +2092,7 @@ void pciattach(char *dom, char *bdf, cha
exit(2);
}
libxl_device_pci_add(&ctx, domid, &pcidev);
+ libxl_device_pci_destroy(&pcidev);
}
int main_pciattach(int argc, char **argv)
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|