Searched refs:xc_assign_device (Results 1 – 5 of 5) sorted by relevance
| /tools/libs/light/ |
| A D | libxl_pci.c | 849 rc = xc_assign_device(ctx->xch, DOMID_IO, pci_encode_bdf(pci), in libxl__device_pci_assignable_add()
1432 r = xc_assign_device(ctx->xch, domid, pci_encode_bdf(pci), flag); in pci_add_dm_done()
|
| /tools/ocaml/libs/xc/ |
| A D | xenctrl_stubs.c | 1345 ret = xc_assign_device(xch, Int_val(domid), sbdf, in stub_xc_domain_assign_device()
|
| /tools/include/ |
| A D | xenctrl.h | 1686 int xc_assign_device(xc_interface *xch,
|
| /tools/python/xen/lowlevel/xc/ |
| A D | xc.c | 592 if ( xc_assign_device(self->xc_handle, dom, sbdf, 0) != 0 ) in pyxc_assign_device()
|
| /tools/libs/ctrl/ |
| A D | xc_domain.c | 1511 int xc_assign_device( in xc_assign_device() function
|
Completed in 23 milliseconds