Searched refs:xen_domctl_assign_dt_device (Results 1 – 2 of 2) sorted by relevance
29 int xen_domctl_assign_dt_device(int domid, char *dtdev_path);
225 int xen_domctl_assign_dt_device(int domid, char *dtdev_path) in xen_domctl_assign_dt_device() function
