libxl: convert PCI device handling to device API
authorIan Campbell <ian.campbell@citrix.com>
Tue, 18 Oct 2011 12:36:43 +0000 (13:36 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 18 Oct 2011 12:36:43 +0000 (13:36 +0100)
commit6dc92e085b34e9502e42a53fd6969c9af483a307
tree0cdaec0f47a59c200b1f9b9389876ab1ac1a5a81
parent5d834c79a4c5bbd3c1e96af5305922560044d383
libxl: convert PCI device handling to device API

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson.citrix.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
tools/libxl/libxl.c
tools/libxl/libxl.h
tools/libxl/libxl_internal.h
tools/libxl/libxl_pci.c
tools/libxl/xl_cmdimpl.c
tools/ocaml/libs/xl/genwrap.py
tools/ocaml/libs/xl/xenlight_stubs.c
tools/python/xen/lowlevel/xl/xl.c