ia64_rr rr;
- rr.rrval = PSCB(vcpu,rrs[vadr)>>61];
+ rr.rrval = PSCB(vcpu,rrs)[vadr>>61];
return(rr.ve);
}
ia64_rr rr;
- rr.rrval = PSCB(vcpu,rrs[vadr)>>61];
+ rr.rrval = PSCB(vcpu,rrs)[vadr>>61];
return(rr.ps);
}
ia64_rr rr;
- rr.rrval = PSCB(vcpu,rrs[vadr)>>61];
+ rr.rrval = PSCB(vcpu,rrs)[vadr>>61];
return(rr.rid);
}
IA64FAULT vcpu_set_rr(VCPU *vcpu, UINT64 reg, UINT64 val)
{
extern void set_one_rr(UINT64, UINT64);
- PSCB(vcpu,rrs[reg)>>61] = val;
+ PSCB(vcpu,rrs)[reg>>61] = val;
// warning: set_one_rr() does it "live"
set_one_rr(reg,val);
return (IA64_NO_FAULT);
IA64FAULT vcpu_get_rr(VCPU *vcpu, UINT64 reg, UINT64 *pval)
{
- UINT val = PSCB(vcpu,rrs[reg)>>61];
+ UINT val = PSCB(vcpu,rrs)[reg>>61];
*pval = val;
return (IA64_NO_FAULT);
}