Searched defs:arch_domain_destroy (Results 1 – 2 of 2) sorted by relevance
683 void arch_domain_destroy(struct domain *d) in arch_domain_destroy() function
579 void arch_domain_destroy(struct domain *d) in arch_domain_destroy() function
Completed in 6 milliseconds