>>> 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",
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),
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