Searched refs:whpx_kick_vcpu_thread (Results 1 – 1 of 1) sorted by relevance
73 static void whpx_kick_vcpu_thread(CPUState *cpu) in whpx_kick_vcpu_thread() function90 ops->kick_vcpu_thread = whpx_kick_vcpu_thread; in whpx_accel_ops_class_init()