accel: Inline WHPX get_whpx_vcpu()
authorPhilippe Mathieu-Daudé <philmd@linaro.org>
Wed, 21 Jun 2023 14:03:17 +0000 (16:03 +0200)
committerPhilippe Mathieu-Daudé <philmd@linaro.org>
Wed, 28 Jun 2023 11:55:35 +0000 (13:55 +0200)
commit441f2449111b276df7fad81dcaa2f3f93ac7cce8
treed1559b44c65d023b8c895c8073e87681b760d928
parentb4f879a4ed039f73f61ee9ae7142abd84cdc0f27
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>
target/i386/whpx/whpx-all.c