Searched refs:hvf_wait_for_ipi (Results 1 – 1 of 1) sorted by relevance
1792 static void hvf_wait_for_ipi(CPUState *cpu, struct timespec *ts) in hvf_wait_for_ipi() function1826 hvf_wait_for_ipi(cpu, NULL); in hvf_wfi()1853 hvf_wait_for_ipi(cpu, &ts); in hvf_wfi()