tree d1559b44c65d023b8c895c8073e87681b760d928
parent b4f879a4ed039f73f61ee9ae7142abd84cdc0f27
author Philippe Mathieu-Daudé <philmd@linaro.org> 1687356197 +0200
committer Philippe Mathieu-Daudé <philmd@linaro.org> 1687953335 +0200

accel: Inline WHPX get_whpx_vcpu()

No need for this helper to access the CPUState::accel field.

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-Id: <20230624174121.11508-15-philmd@linaro.org>