From: Boden Randin <[email protected]> whpx_get_registers_for_vmexit only refreshes GPRs, RIP and RFLAGS.
x86_update_hflags() depends on state not refreshed here, while the code using the fast runtime state does not depend on the hflags it recomputes. Signed-off-by: Boden Randin <[email protected]> Reviewed-by: Mohamed Mediouni <[email protected]> --- target/i386/whpx/whpx-all.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/target/i386/whpx/whpx-all.c b/target/i386/whpx/whpx-all.c index 5f14564f10..29a630b03c 100644 --- a/target/i386/whpx/whpx-all.c +++ b/target/i386/whpx/whpx-all.c @@ -772,8 +772,6 @@ static void whpx_get_registers_for_vmexit(CPUState *cpu, WHPXStateLevel level) rflags_to_lflags(env); assert(idx == RTL_NUMBER_OF(whpx_register_names_for_vmexit)); - - x86_update_hflags(env); } static void whpx_get_legacy_fp_registers(CPUState *cpu, WHPXStateLevel level) -- 2.54.0 (Apple Git-157)
