On Wed, 3 Jan 2018, Linus Torvalds wrote: > On Wed, Jan 3, 2018 at 4:12 PM, Thomas Gleixner <t...@linutronix.de> wrote: > > > > It should be a CPU_BUG bit as we have for the other mess. And that can be > > used for patching. > > That would definitely be the right approach. > > However, that's also probably quite challenging for the gcc option.
AFAICT, the thunk which GCC injects can be supplied to GCC, so it should be doable. Thanks, tglx