Searched refs:xc_assign_dt_device (Results 1 – 3 of 3) sorted by relevance
1706 int xc_assign_dt_device(xc_interface *xch,
1595 int xc_assign_dt_device( in xc_assign_dt_device() function
1791 rc = xc_assign_dt_device(CTX->xch, domid, dtdev->path); in libxl__add_dtdevs()
Completed in 14 milliseconds