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

[Richard Henderson]

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é<phi...@linaro.org>
---
  target/i386/whpx/whpx-all.c | 29 ++++++++++-------------------
  1 file changed, 10 insertions(+), 19 deletions(-)

Reviewed-by: Richard Henderson <richard.hender...@linaro.org>

r~