Re: [PATCH 5/5 v2 gnumach] x86_64: add 64-bit syscall entry point

[Samuel Thibault]

Luca Dariz, le jeu. 02 mars 2023 14:54:51 +0100, a ecrit:
> we could even sum up the discussion above with:
> 
>                  : "memory"  /* wrmsr is a Serializing Instruction,
>                               * therefore we need serialization from the
>                               * compiler too  */

It is the 'therefore' word which poses problem to me: it's not the
*fact* that it is a serialization instruction which makes us want
to tell the compiler to serialize. It is the *reason* why that is a
serialization which makes us want to.

Sergey's proposal doesn't have this potential of misled interpretation,
for instance.

Samuel