On Fri, Dec 05, 2014 at 06:44:26PM +0100, Paolo Bonzini wrote: > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > --- > target-i386/cpu.c | 34 +++++++++++++++++++++++++++++++++- > 1 file changed, 33 insertions(+), 1 deletion(-) > > diff --git a/target-i386/cpu.c b/target-i386/cpu.c > index b2bb9a4..7767564 100644 > --- a/target-i386/cpu.c > +++ b/target-i386/cpu.c > @@ -1039,7 +1039,39 @@ static X86CPUDefinition builtin_x86_defs[] = { > .features[FEAT_XSAVE] = > CPUID_XSAVE_XSAVEOPT, > .xlevel = 0x8000000A, > - .model_id = "Intel Xeon E312xx (Sandy Bridge)", > + .model_id = "Intel Xeon E3-12xx (Sandy Bridge)",
ABI change. Can we do that in a separate patch? -- Eduardo