Home
last modified time | relevance | path

Searched refs:xc_deassign_device (Results 1 – 5 of 5) sorted by relevance

/tools/libs/light/
A Dlibxl_pci.c908 rc = xc_deassign_device(ctx->xch, DOMID_IO, pci_encode_bdf(pci)); in libxl__device_pci_assignable_remove()
2112 rc = xc_deassign_device(CTX->xch, domid, pci_encode_bdf(pci)); in pci_remove_detached()
/tools/ocaml/libs/xc/
A Dxenctrl_stubs.c1367 ret = xc_deassign_device(xch, Int_val(domid), sbdf); in stub_xc_domain_deassign_device()
/tools/include/
A Dxenctrl.h1702 int xc_deassign_device(xc_interface *xch,
/tools/python/xen/lowlevel/xc/
A Dxc.c625 if ( xc_deassign_device(self->xc_handle, dom, sbdf) != 0 ) in pyxc_deassign_device()
/tools/libs/ctrl/
A Dxc_domain.c1580 int xc_deassign_device( in xc_deassign_device() function

Completed in 24 milliseconds