On 05/01/2011 01:18 AM, Jan Kiszka wrote: > On 2011-05-01 00:36, Richard Henderson wrote: >> Also, the i386 port defines a CPU_TARGET_MCE, checked by the kvm code, >> but as far as I can tell that bit is never set. I've left that alone >> for now. > > That rather looks like a ghost. Can you name some hashes, files, and > lines that should contain this?
Gah, sorry, CPU_INTERRUPT_MCE. Dunno what my fingers were thinking. r~