Searched refs:whpx_destroy_vcpu (Results 1 – 3 of 3) sorted by relevance
17 void whpx_destroy_vcpu(CPUState *cpu);
56 whpx_destroy_vcpu(cpu); in whpx_cpu_thread_fn()
2275 void whpx_destroy_vcpu(CPUState *cpu) in whpx_destroy_vcpu() function