Searched refs:xen_domctl_destroydomain (Results 1 – 2 of 2) sorted by relevance
35 int xen_domctl_destroydomain(int domid);
287 int xen_domctl_destroydomain(int domid) in xen_domctl_destroydomain() function
