On 2020/11/19 3:16, Dan Williams wrote: > On Wed, Nov 18, 2020 at 12:55 AM Leizhen (ThunderTown) > <thunder.leizhen@xxxxxxxxxx> wrote: >> >> >> >> On 2020/11/18 16:41, Zhen Lei wrote: >>> The badrange to be reported should always cover mce->addr. >> Maybe I should change this description to: >> Make sure the badrange to be reported can always cover mce->addr. > > Yes, I like that better. Can you also say a bit more about how you > found this bug? As far as I can see this looks like -stable material. I found it when I was learning the code. I'm looking at it carefully. > >
