diff options
author | djm@kirby.fc.hp.com <djm@kirby.fc.hp.com> | 2005-09-21 15:13:16 -0600 |
---|---|---|
committer | djm@kirby.fc.hp.com <djm@kirby.fc.hp.com> | 2005-09-21 15:13:16 -0600 |
commit | d9cf42324419ac188fdeaa03c799c482120a5da9 (patch) | |
tree | b70018f4680483c47e87cb6b360a04e074ba4f1e | |
parent | 1be9af6e37e1ca5ed512334655765ab24dd91745 (diff) | |
download | xen-d9cf42324419ac188fdeaa03c799c482120a5da9.tar.gz xen-d9cf42324419ac188fdeaa03c799c482120a5da9.tar.bz2 xen-d9cf42324419ac188fdeaa03c799c482120a5da9.zip |
Minor change also needed in vcpu.c for guests to own ar.kr's.
-rw-r--r-- | xen/arch/ia64/xen/vcpu.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c index 5e2a92d5ac..dcce55759e 100644 --- a/xen/arch/ia64/xen/vcpu.c +++ b/xen/arch/ia64/xen/vcpu.c @@ -134,7 +134,10 @@ IA64FAULT vcpu_set_ar(VCPU *vcpu, UINT64 reg, UINT64 val) else if (reg == 24) printf("warning: setting ar.eflg is a no-op; no IA-32 support\n"); else if (reg > 7) return (IA64_ILLOP_FAULT); - else PSCB(vcpu,krs[reg]) = val; + else { + PSCB(vcpu,krs[reg]) = val; + ia64_set_kr(reg,val); + } return IA64_NO_FAULT; } |