ia64/xen-unstable

changeset 6877:d2f2c1c26995

Minor change also needed in vcpu.c for guests to own ar.kr's.
author djm@kirby.fc.hp.com
date Wed Sep 21 15:13:16 2005 -0600 (2005-09-21)
parents f064ce67e524
children babbdd896024
files xen/arch/ia64/xen/vcpu.c
line diff
     1.1 --- a/xen/arch/ia64/xen/vcpu.c	Wed Sep 21 14:13:07 2005 -0600
     1.2 +++ b/xen/arch/ia64/xen/vcpu.c	Wed Sep 21 15:13:16 2005 -0600
     1.3 @@ -134,7 +134,10 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64
     1.4  	else if (reg == 24)
     1.5  	    printf("warning: setting ar.eflg is a no-op; no IA-32 support\n");
     1.6  	else if (reg > 7) return (IA64_ILLOP_FAULT);
     1.7 -	else PSCB(vcpu,krs[reg]) = val;
     1.8 +	else {
     1.9 +		PSCB(vcpu,krs[reg]) = val;
    1.10 +		ia64_set_kr(reg,val);
    1.11 +	}
    1.12  	return IA64_NO_FAULT;
    1.13  }
    1.14