Why is that a problem?
Sent from my Samsung Galaxy smartphone.
-------- Original message --------
From: Alexey Dobriyan <adobriyan@gmail.com>
Date: 5/15/18 14:08 (GMT-08:00)
To: "Ye, Xiaolong" <xiaolong.ye@intel.com>
Cc: Ingo Molnar <mingo@kernel.org>, "Anvin, H Peter" <h.peter.anvin@intel.com>, Thomas Gleixner <tglx@linutronix.de>, Andy Lutomirski <luto@kernel.org>, Borislav Petkov <bp@alien8.de>, Brian Gerst <brgerst@gmail.com>, Denys Vlasenko <dvlasenk@redhat.com>,
Josh Poimboeuf <jpoimboe@redhat.com>, Linus Torvalds <torvalds@linux-foundation.org>, Peter Zijlstra <peterz@infradead.org>, LKML <linux-kernel@vger.kernel.org>, "H. Peter Anvin" <hpa@zytor.com>, tipbuild@zytor.com, lkp@01.org
Subject: Re: [lkp-robot] [x86/asm] 51bad67ffb: int3:#[##]