CPUState::vcpu_dirty is of type 'bool', not 'integer'. Signed-off-by: Philippe Mathieu-Daudé <philmd@xxxxxxxxxx> --- target/i386/hvf/hvf.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/target/i386/hvf/hvf.c b/target/i386/hvf/hvf.c index 15f14ac69e7..3c5c9c8197e 100644 --- a/target/i386/hvf/hvf.c +++ b/target/i386/hvf/hvf.c @@ -533,7 +533,7 @@ int hvf_init_vcpu(CPUState *cpu) } r = hv_vcpu_create((hv_vcpuid_t *)&cpu->hvf_fd, HV_VCPU_DEFAULT); - cpu->vcpu_dirty = 1; + cpu->vcpu_dirty = true; assert_hvf_ok(r); if (hv_vmx_read_capability(HV_VMX_CAP_PINBASED, -- 2.26.2