tree da3e7d1f3d9be68e682f88a645675b50675d41b4
parent 2379866c3bf7c5fd654cef64246af9d8a03f7d49
author Philippe Mathieu-Daudé <philmd@linaro.org> 1713975394 +0200
committer Philippe Mathieu-Daudé <philmd@linaro.org> 1714143744 +0200

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>