Re: [PATCH 13/14] accel: Inline WHPX get_whpx_vcpu()

[Richard Henderson <richard.henderson@xxxxxxxxxx>]

On 4/5/23 03:18, Philippe Mathieu-Daudé wrote:
> No need for this helper to access the CPUState::accel field.
>
> Signed-off-by: Philippe Mathieu-Daudé<philmd@xxxxxxxxxx>
> ---
>   target/i386/whpx/whpx-all.c | 29 ++++++++++-------------------
>   1 file changed, 10 insertions(+), 19 deletions(-)
Reviewed-by: Richard Henderson <richard.henderson@xxxxxxxxxx>

r~