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>
Mohamed Mediouni committed
Mar 23, 2026 at 09:51 UTC
fc788ca5ede7aac5c749bd527bb3c5d0f2248274
1 file changed
+1
target/arm/whpx/whpx-all.c
+1
@@ -439,6 +439,7 @@ int whpx_vcpu_run(CPUState *cpu)
439
switch (vcpu->exit_ctx.ExitReason) {
440
case WHvRunVpExitReasonGpaIntercept:
441
case WHvRunVpExitReasonUnmappedGpa:
442
+ assert(syn_get_ec(vcpu->exit_ctx.MemoryAccess.Syndrome) == EC_DATAABORT);
443
advance_pc = true;
444
445
if (vcpu->exit_ctx.MemoryAccess.Syndrome & BIT(8)) {