Searched refs:wait_for_vcpu (Results 1 – 1 of 1) sorted by relevance
176 static void wait_for_vcpu(void) in wait_for_vcpu() function 370 wait_for_vcpu(); in launch_vm()