Searched refs:xc_domain_soft_reset (Results 1 – 3 of 3) sorted by relevance
1299 int xc_domain_soft_reset(xc_interface *xch,
2316 int xc_domain_soft_reset(xc_interface *xch, in xc_domain_soft_reset() function
1579 rc = xc_domain_soft_reset(ctx->xch, domid); in devices_destroy_cb()
Completed in 16 milliseconds