For the int80 slow path to jump to handle_exception_saved, %r14 needs to
be set up suitably for XPTI purposes. This is because of the difference
in nature between the int80 path (which is synchronous WRT guest
actions) and the exception path which is potentially asynchronous.
diff --git a/xen/arch/x86/x86_64/entry.S b/xen/arch/x86/x86_64/entry.S
index 1cd7d93892..9c45c00bb0 100644
@@ -405,6 +405,12 @@ int80_slow_path:
/* A GPF wouldn't have incremented the instruction pointer. */
+ * While we've cleared xen_cr3 above already, normal exception handling
+ * code has logic to restore the original value from %r15. Therefore we
+ * need to set up %r14 here, while %r15 is required to still be zero.
/* create_bounce_frame & helpers don't need to be in .text.entry */
generated by git-patchbot for /home/xen/git/xen.git#master