Searched refs:whpx_first_vcpu_starting (Results 1 – 1 of 1) sorted by relevance
1319 static int whpx_first_vcpu_starting(CPUState *cpu) in whpx_first_vcpu_starting() function1654 ret = whpx_first_vcpu_starting(cpu); in whpx_vcpu_run()