Commit fc788ca5ed for qemu.org

commit fc788ca5ede7aac5c749bd527bb3c5d0f2248274
Author: Mohamed Mediouni <mohamed@unpredictable.fr>
Date:   Mon Mar 23 09:51:01 2026 +0000

    whpx: arm: add EC_DATAABORT assert for WHvRunVpExitReasonGpaIntercept/UnmappedGpa

    If we get anything else from Hyper-V there's a problem, so enforce
    this.

    Signed-off-by: Mohamed Mediouni <mohamed@unpredictable.fr>
    Message-id: 20260314221529.47841-3-mohamed@unpredictable.fr
    Suggested-by: Alex Bennée <alex.bennee@linaro.org>
    Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
    Signed-off-by: Peter Maydell <peter.maydell@linaro.org>

diff --git a/target/arm/whpx/whpx-all.c b/target/arm/whpx/whpx-all.c
index 513551bec1..3df60a950d 100644
--- a/target/arm/whpx/whpx-all.c
+++ b/target/arm/whpx/whpx-all.c
@@ -439,6 +439,7 @@ int whpx_vcpu_run(CPUState *cpu)
         switch (vcpu->exit_ctx.ExitReason) {
         case WHvRunVpExitReasonGpaIntercept:
         case WHvRunVpExitReasonUnmappedGpa:
+            assert(syn_get_ec(vcpu->exit_ctx.MemoryAccess.Syndrome) == EC_DATAABORT);
             advance_pc = true;

             if (vcpu->exit_ctx.MemoryAccess.Syndrome & BIT(8)) {