Searched refs:whpx_vcpu_post_run (Results 1 – 1 of 1) sorted by relevance
1577 static void whpx_vcpu_post_run(CPUState *cpu) in whpx_vcpu_post_run() function1751 whpx_vcpu_post_run(cpu); in whpx_vcpu_run()