1.1 --- a/xen/arch/x86/x86_emulate.c	Tue Feb 26 14:40:44 2008 +0000
     1.2 +++ b/xen/arch/x86/x86_emulate.c	Tue Feb 26 14:46:07 2008 +0000
     1.3 @@ -2671,7 +2671,7 @@ x86_emulate(
     1.4          fail_if(ops->load_fpu_ctxt == NULL);
     1.5          ops->load_fpu_ctxt(ctxt);
     1.6          fail_if((modrm_reg & 7) != 7);
     1.7 -        fail_if(modrm_reg >= 0xc0);
     1.8 +        fail_if(modrm >= 0xc0);
     1.9          /* fnstcw m2byte */
    1.10          ea.bytes = 2;
    1.11          dst = ea;
    1.12 @@ -2690,7 +2690,7 @@ x86_emulate(
    1.13          fail_if(ops->load_fpu_ctxt == NULL);
    1.14          ops->load_fpu_ctxt(ctxt);
    1.15          fail_if((modrm_reg & 7) != 7);
    1.16 -        fail_if(modrm_reg >= 0xc0);
    1.17 +        fail_if(modrm >= 0xc0);
    1.18          /* fnstsw m2byte */
    1.19          ea.bytes = 2;
    1.20          dst = ea;