>>> On 28.09.15 at 09:13, wrote:
> --- a/xen/arch/x86/hvm/vmx/vmx.c
> +++ b/xen/arch/x86/hvm/vmx/vmx.c
> @@ -1102,11 +1102,26 @@ static void vmx_handle_cd(struct vcpu *v, unsigned
> long value)
>
> static void vmx_set_tsc_offset(struct vcpu *v, u64 offset, u64
On Tue, Oct 27, 2015 at 07:29:44AM -0600, Jan Beulich wrote:
> >>> On 28.09.15 at 09:13, wrote:
> > --- a/xen/arch/x86/hvm/vmx/vmx.c
> > +++ b/xen/arch/x86/hvm/vmx/vmx.c
> > @@ -1102,11 +1102,26 @@ static void vmx_handle_cd(struct vcpu *v, unsigned
> > long value)
> >
On 10/22/2015 01:12 PM, Haozhong Zhang wrote:
On Thu, Oct 22, 2015 at 11:55:00AM -0400, Boris Ostrovsky wrote:
On 09/28/2015 03:13 AM, Haozhong Zhang wrote:
If VMX TSC scaling is enabled and no TSC emulation is used,
vmx_set_tsc_offset() will calculate the TSC offset by substracting the
scaled
On Thu, Oct 22, 2015 at 03:19:19PM -0400, Boris Ostrovsky wrote:
> On 10/22/2015 01:12 PM, Haozhong Zhang wrote:
> >On Thu, Oct 22, 2015 at 11:55:00AM -0400, Boris Ostrovsky wrote:
> >>On 09/28/2015 03:13 AM, Haozhong Zhang wrote:
> >>>If VMX TSC scaling is enabled and no TSC emulation is used,
>
On 09/28/2015 03:13 AM, Haozhong Zhang wrote:
If VMX TSC scaling is enabled and no TSC emulation is used,
vmx_set_tsc_offset() will calculate the TSC offset by substracting the
scaled host TSC from the current guest TSC.
Signed-off-by: Haozhong Zhang
---
On Thu, Oct 22, 2015 at 11:55:00AM -0400, Boris Ostrovsky wrote:
> On 09/28/2015 03:13 AM, Haozhong Zhang wrote:
> >If VMX TSC scaling is enabled and no TSC emulation is used,
> >vmx_set_tsc_offset() will calculate the TSC offset by substracting the
> >scaled host TSC from the current guest TSC.
>
If VMX TSC scaling is enabled and no TSC emulation is used,
vmx_set_tsc_offset() will calculate the TSC offset by substracting the
scaled host TSC from the current guest TSC.
Signed-off-by: Haozhong Zhang
---
xen/arch/x86/hvm/vmx/vmx.c | 15 +++
1 file