On Thu, 15 Nov 2012 10:47:11 -0200 Henrique de Moraes Holschuh <hmh at hmh.eng.br> wrote: > On Wed, 14 Nov 2012, Jesse Barnes wrote: > > + unsigned long bad_ranges[] = { > > + 0x20050000, > > + 0x20110000, > > + 0x20130000, > > + 0x20138000, > > + 0x40004000, > > Yikes. Can this be fixed through a microcode update? The kernel would > still need the workaround anyway, but at least you would be able to be quite > heavy-handed on it, and users could be warned of a better fix... Note the array should be called "bad pages" since it's just each page at that offset that we can't use. (In case you were worried we'd need to exclude everything between each pair of addresses or something.) -- Jesse Barnes, Intel Open Source Technology Center