Fix CONFIG_VTI build
Signed-off-by: Arun Sharma <arun.sharma@xxxxxxxxx>
--- a/xen/arch/ia64/vmx_vcpu.c Tue Aug 2 22:33:40 2005
+++ b/xen/arch/ia64/vmx_vcpu.c Tue Aug 2 15:36:40 2005
@@ -213,7 +213,6 @@
IA64FAULT vmx_vcpu_set_rr(VCPU *vcpu, UINT64 reg, UINT64 val)
{
- extern void set_one_rr(UINT64, UINT64);
ia64_rr oldrr,newrr;
thash_cb_t *hcb;
oldrr=vmx_vcpu_rr(vcpu,reg);
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|