Hi Tristan,
This section originally used tabs but you switched to spaces, so the
indentation is wonky now. Would it be better to keep the indentation
uniform?
Regards,
Aron
Tristan Gingold wrote: [Wed Apr 26 2006, 08:26:49AM EDT]
> diff -r eaed13f8c391 -r 620aa705f38a xen/arch/ia64/vmx/vmx_phy_mode.c
> --- a/xen/arch/ia64/vmx/vmx_phy_mode.c Wed Apr 26 07:26:20 2006
> +++ b/xen/arch/ia64/vmx/vmx_phy_mode.c Wed Apr 26 07:52:42 2006
> @@ -193,29 +193,38 @@
> phy_rr.ve = 1;
>
> ia64_set_rr((VRN0 << VRN_SHIFT), phy_rr.rrval);
> + ia64_dv_serialize_data();
> phy_rr.rrval = vcpu->arch.metaphysical_rr4;
> //phy_rr.ps = PAGE_SHIFT;
> phy_rr.ve = 1;
>
> ia64_set_rr((VRN4 << VRN_SHIFT), phy_rr.rrval);
> + ia64_dv_serialize_data();
> } else {
> ia64_set_rr((VRN0 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN0])));
> + ia64_dv_serialize_data();
> ia64_set_rr((VRN4 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN4])));
> + ia64_dv_serialize_data();
> }
>
> /* rr567 will be postponed to last point when resuming back to guest */
> ia64_set_rr((VRN1 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN1])));
> + ia64_dv_serialize_data();
> ia64_set_rr((VRN2 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN2])));
> + ia64_dv_serialize_data();
> ia64_set_rr((VRN3 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN3])));
> + ia64_dv_serialize_data();
> ia64_set_rr((VRN5 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN5])));
> + ia64_dv_serialize_data();
> ia64_set_rr((VRN6 << VRN_SHIFT),
> vrrtomrr(vcpu, VMX(vcpu, vrr[VRN6])));
> + ia64_dv_serialize_data();
> vmx_switch_rr7(vrrtomrr(vcpu,VMX(vcpu, vrr[VRN7])),
> (void *)vcpu->domain->shared_info,
> (void *)vcpu->arch.privregs,
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|