Searched refs:xc_deassign_device (Results 1 – 5 of 5) sorted by relevance
1207 ret = xc_deassign_device(_H(xch), _D(domid), sbdf); in stub_xc_domain_deassign_device()
1729 int xc_deassign_device(xc_interface *xch,
1463 rc = xc_deassign_device(ctx->xch, domid, pcidev_encode_bdf(pcidev)); in do_pci_remove()
600 if ( xc_deassign_device(self->xc_handle, dom, sbdf) != 0 ) in pyxc_deassign_device()
1629 int xc_deassign_device( in xc_deassign_device() function
Completed in 21 milliseconds