Searched refs:do_whpx_cpu_synchronize_post_reset (Results 1 – 1 of 1) sorted by relevance
2073 static void do_whpx_cpu_synchronize_post_reset(CPUState *cpu, in do_whpx_cpu_synchronize_post_reset() function2106 run_on_cpu(cpu, do_whpx_cpu_synchronize_post_reset, RUN_ON_CPU_NULL); in whpx_cpu_synchronize_post_reset()