Messages in this thread | ![/](/images/icornerl.gif) | | Date | Fri, 20 Jan 2023 09:45:26 -0800 | Subject | Re: the x86 sysret_rip test fails on the Intel FRED architecture | From | Dave Hansen <> |
| |
On 1/19/23 23:49, Li, Xin3 wrote: > The x86 sysret_rip test has the following assertion: > > /* R11 and EFLAGS should already match. */ > assert(ctx->uc_mcontext.gregs[REG_EFL] == > ctx->uc_mcontext.gregs[REG_R11]); > > This is being tested to avoid kernel state leak due to sysret vs iret, > but that on FRED r11 is *always* preserved, and the test just fails.
Let's figure out the reason that FRED acts differently, first. Right now, the SDM says:
SYSCALL also saves RFLAGS into R11
so that behavior of SYSCALL _looks_ architectural to me. Was this change in SYSCALL behavior with FRED intentional?
If not intentional, it might be something that can still be fixed. If it is intentional and is going to be with us for a while we have a few options. If userspace is _really_ depending on this behavior, we could just clobber r11 ourselves in the FRED entry path. If not, we can remove the assertion in the selftest.
| ![\](/images/icornerr.gif) |