Searched refs:paging_teardown (Results 1 – 3 of 3) sorted by relevance
210 int paging_teardown(struct domain *d);
799 int paging_teardown(struct domain *d) in paging_teardown() function
1923 ret = paging_teardown(d); in domain_relinquish_resources()
Completed in 8 milliseconds