> On 3 Sep 2025, at 12.06, Philippe Mathieu-Daudé <phi...@linaro.org> wrote:
>
> 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é <phi...@linaro.org>
> ---
> 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
Reviewed-by: Mads Ynddal <m...@ynddal.dk>
