Searched refs:xc_deassign_device (Results 1 – 5 of 5) sorted by relevance
1152 ret = xc_deassign_device(_H(xch), _D(domid), sbdf); in stub_xc_domain_deassign_device()
851 rc = xc_deassign_device(ctx->xch, DOMID_IO, pcidev_encode_bdf(pcidev)); in libxl__device_pci_assignable_remove()2178 rc = xc_deassign_device(CTX->xch, domid, pcidev_encode_bdf(pcidev)); in pci_remove_detatched()
1702 int xc_deassign_device(xc_interface *xch,
619 if ( xc_deassign_device(self->xc_handle, dom, sbdf) != 0 ) in pyxc_deassign_device()
1579 int xc_deassign_device( in xc_deassign_device() function
Completed in 22 milliseconds