This property is far from clear.
Signed-off-by: Andrew Cooper <[email protected]>
---
CC: Jan Beulich <[email protected]>
CC: Roger Pau Monné <[email protected]>
CC: Wei Liu <[email protected]>
CC: Jinoh Kang <[email protected]>
v2:
* New
---
xen/arch/x86/x86_emulate/x86_emulate.c | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/xen/arch/x86/x86_emulate/x86_emulate.c
b/xen/arch/x86/x86_emulate/x86_emulate.c
index e88245eae9fb..94caec1d142c 100644
--- a/xen/arch/x86/x86_emulate/x86_emulate.c
+++ b/xen/arch/x86/x86_emulate/x86_emulate.c
@@ -8651,6 +8651,12 @@ int x86_emulate_wrapper(
rc = x86_emulate(ctxt, ops);
+ /*
+ * X86EMUL_DONE is an internal signal in the emulator, and is not expected
+ * to ever escape out to callers.
+ */
+ ASSERT(rc != X86EMUL_DONE);
+
/*
* Most retire flags should only be set for successful instruction
* emulation.
--
2.30.2
