* Ingo Molnar <mingo@xxxxxxxxxx> wrote: > > This obviously fixes the problem, so you can add > > > > Reported-and-tested-by: Miroslav Benes <mbenes@xxxxxxx> > > Great. > > Josh, mind sending a changelogged version, or should I distill a commit out of > this discussion, for tip:x86/urgent? ... never mind, later in my mbox I found the patch that Josh already submitted! Thanks, Ingo -- To unsubscribe from this list: send the line "unsubscribe live-patching" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html