Re: [Xen-devel] [PATCH 10/13] vmx: Detect and initialize VMX RDTSC(P) scaling

2015-10-27 Thread Jan Beulich
>>> On 28.09.15 at 09:13, wrote: > @@ -1805,6 +1810,8 @@ void vmcs_dump_vcpu(struct vcpu *v) > printk("IDTVectoring: info=%08x errcode=%08x\n", > vmr32(IDT_VECTORING_INFO), vmr32(IDT_VECTORING_ERROR_CODE)); > printk("TSC Offset = 0x%016lx\n",

Re: [Xen-devel] [PATCH 10/13] vmx: Detect and initialize VMX RDTSC(P) scaling

2015-10-27 Thread Haozhong Zhang
On Tue, Oct 27, 2015 at 07:19:04AM -0600, Jan Beulich wrote: > >>> On 28.09.15 at 09:13, wrote: > > @@ -1805,6 +1810,8 @@ void vmcs_dump_vcpu(struct vcpu *v) > > printk("IDTVectoring: info=%08x errcode=%08x\n", > > vmr32(IDT_VECTORING_INFO),

[Xen-devel] [PATCH 10/13] vmx: Detect and initialize VMX RDTSC(P) scaling

2015-09-28 Thread Haozhong Zhang
This patch adds the detection and initialization code for VMX TSC scaling. Signed-off-by: Haozhong Zhang --- xen/arch/x86/hvm/vmx/vmcs.c| 11 +-- xen/arch/x86/hvm/vmx/vmx.c | 9 + xen/include/asm-x86/hvm/vmx/vmcs.h | 7 +++ 3 files