accel/whpx: Use accel-specific per-vcpu @dirty field
commit9ad49538c7b7c0672110994d81d687ed42bf3ef4
authorPhilippe Mathieu-Daudé <philmd@linaro.org>
Wed, 24 Apr 2024 16:16:34 +0000 (24 18:16 +0200)
committerPhilippe Mathieu-Daudé <philmd@linaro.org>
Fri, 26 Apr 2024 15:02:24 +0000 (26 17:02 +0200)
treeda3e7d1f3d9be68e682f88a645675b50675d41b4
parent2379866c3bf7c5fd654cef64246af9d8a03f7d49
accel/whpx: Use accel-specific per-vcpu @dirty field

WHPX has a specific use of the CPUState::vcpu_dirty field
(CPUState::vcpu_dirty is not used by common code).
To make this field accel-specific, add and use a new
@dirty variable in the AccelCPUState structure.

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20240424174506.326-2-philmd@linaro.org>
target/i386/whpx/whpx-all.c