Searched refs:psr_domain_free (Results 1 – 3 of 3) sorted by relevance
83 void psr_domain_free(struct domain *d);
566 psr_domain_free(d); in arch_domain_create()601 psr_domain_free(d); in arch_domain_destroy()
1360 void psr_domain_free(struct domain *d) in psr_domain_free() function
Completed in 7 milliseconds