Since hvf_wfi() calls hv_vcpu_get_sys_reg(), which must run on a vCPU, it also must. Mention it.
Signed-off-by: Philippe Mathieu-Daudé <[email protected]> --- target/arm/hvf/hvf.c | 1 + 1 file changed, 1 insertion(+) diff --git a/target/arm/hvf/hvf.c b/target/arm/hvf/hvf.c index d87a41bcc53..05fc591b523 100644 --- a/target/arm/hvf/hvf.c +++ b/target/arm/hvf/hvf.c @@ -1836,6 +1836,7 @@ static void hvf_wait_for_ipi(CPUState *cpu, struct timespec *ts) bql_lock(); } +/* Must be called by the owning thread */ static void hvf_wfi(CPUState *cpu) { ARMCPU *arm_cpu = ARM_CPU(cpu); -- 2.51.0
