On Thu, Mar 2, 2023 at 4:14 PM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > Ok, then perhaps > > "memory" /* wrmsr usage needs serialization from the compiler too */
How about /* wrmsr may cause a read from memory, so make the compiler flush any changes */ Sergey