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