Searched refs:arch_monitor_cleanup_domain (Results 1 – 4 of 4) sorted by relevance
51 void arch_monitor_cleanup_domain(struct domain *d) in arch_monitor_cleanup_domain() function
104 void arch_monitor_cleanup_domain(struct domain *d);
36 void arch_monitor_cleanup_domain(struct domain *d) in arch_monitor_cleanup_domain() function
707 arch_monitor_cleanup_domain(d); in vm_event_domctl()
Completed in 5 milliseconds