Searched refs:dtdev_path (Results 1 – 2 of 2) sorted by relevance
225 int xen_domctl_assign_dt_device(int domid, char *dtdev_path) in xen_domctl_assign_dt_device() argument232 .u.assign_device.u.dt.size = strlen(dtdev_path), in xen_domctl_assign_dt_device()235 set_xen_guest_handle(domctl.u.assign_device.u.dt.path, dtdev_path); in xen_domctl_assign_dt_device()
29 int xen_domctl_assign_dt_device(int domid, char *dtdev_path);
