I can confirm that C (GCC and Clang) will generate this:

    7e2f0:       f3 0f 1e fa             endbr64
    7e2f4:       64 48 8b 04 25 f8 ff    mov    %fs:0xfffffffffffffff8,%rax
    7e2fb:       ff ff
    7e2fd:       c3                      ret
    7e2fe:       66 90                   xchg   %ax,%ax

But they did not inline the function that does that, even with `__attribute__((always_inline))` and link-time optimization. I need to investigate that.