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.
