[lkml]   [2023]   [Jan]   [23]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: the x86 sysret_rip test fails on the Intel FRED architecture
On 1/23/23 6:45 AM, H. Peter Anvin wrote:
> static enum regs_ok check_regs_syscall(int syscall,
>     unsigned long arg1, unsigned long arg2)
> {
>     register unsigned long r11 asm("%r11");
>     unsigned long rcx, rbx, tmp;

tmp is unused.

>     r11 = r11_sentinel;
>     rcx = rcx_sentinel;
>     asm volatile("push %3; popf; "
>              "lea 1f(%%rip),%2; "
>              "syscall; "
>              "1:"
>              : "+r" (r11), "+c" (rcx), "=b" (rbx)
>              : "g" (rflags_sentinel),
>                "a" (syscall), "D" (arg1), "S" (arg2));

BTW, I just realized this "push" is unsafe for userspace code if the
compiler decides to inline this inside a leaf function that uses the

Reason: Because this "push;" clobbers redzone.

It doesn't always happen, but when that happens it can be confusing to

A simple workaround is: just compile it with "-mno-red-zone" flag.

Alternative, without using that flag, maybe preserve the value like:

movq -8(%rsp), %r12
pushq %[rflags_sentinel]
movq %r12, -8(%rsp)

with "r12" and "memory" added to the clobber list.

What do you think?

Ammar Faizi

 \ /
  Last update: 2023-03-26 23:52    [W:0.630 / U:0.044 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site