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