Searched refs:whpx_vcpu_kick (Results 1 – 3 of 3) sorted by relevance
18 void whpx_vcpu_kick(CPUState *cpu);
76 whpx_vcpu_kick(cpu); in whpx_kick_vcpu_thread()
1726 whpx_vcpu_kick(cpu); in whpx_vcpu_run()2286 void whpx_vcpu_kick(CPUState *cpu) in whpx_vcpu_kick() function