Searched refs:whpx_vcpu_exec (Results 1 – 3 of 3) sorted by relevance
16 int whpx_vcpu_exec(CPUState *cpu);
45 r = whpx_vcpu_exec(cpu); in whpx_cpu_thread_fn()
2252 int whpx_vcpu_exec(CPUState *cpu) in whpx_vcpu_exec() function