Searched refs:do_whpx_cpu_synchronize_state (Results 1 – 1 of 1) sorted by relevance
2065 static void do_whpx_cpu_synchronize_state(CPUState *cpu, run_on_cpu_data arg) in do_whpx_cpu_synchronize_state() function2100 run_on_cpu(cpu, do_whpx_cpu_synchronize_state, RUN_ON_CPU_NULL); in whpx_cpu_synchronize_state()