Searched refs:xendevicemodel_shutdown (Results 1 – 2 of 2) sorted by relevance
118 static inline int xendevicemodel_shutdown(xendevicemodel_handle *dmod, in xendevicemodel_shutdown() function
728 rc = xendevicemodel_shutdown(xen_dmod, xen_domid, reason); in destroy_hvm_domain()