Searched refs:__ept_sync_domain (Results 1 – 1 of 1) sorted by relevance
1146 static void __ept_sync_domain(void *info) in __ept_sync_domain() function1179 on_selected_cpus(mask, __ept_sync_domain, p2m, 1); in ept_sync_domain_mask()
Completed in 5 milliseconds