>>> On 10.08.16 at 16:25, wrote:
> On Wed, Aug 10, 2016 at 04:44:21AM -0600, Jan Beulich wrote:
>> >>> On 10.08.16 at 08:59, wrote:
>> > @@ -1879,6 +1893,13 @@ void vmcs_dump_vcpu(struct vcpu *v)
>> > (SECONDARY_EXEC_ENABLE_VPID |
>> > SECONDARY_EXEC_ENABLE_VM_FUNCTIONS)
>
>> > )
>>
On Wed, Aug 10, 2016 at 04:44:21AM -0600, Jan Beulich wrote:
> >>> On 10.08.16 at 08:59, wrote:
> > --- a/xen/arch/x86/hvm/vmx/vmcs.c
> > +++ b/xen/arch/x86/hvm/vmx/vmcs.c
> > @@ -1740,6 +1740,20 @@ static void vmx_dump_sel2(char *name, uint32_t lim)
> > printk("%s:%08x %016"PRIx6
>>> On 10.08.16 at 08:59, wrote:
> --- a/xen/arch/x86/hvm/vmx/vmcs.c
> +++ b/xen/arch/x86/hvm/vmx/vmcs.c
> @@ -1740,6 +1740,20 @@ static void vmx_dump_sel2(char *name, uint32_t lim)
> printk("%s:%08x %016"PRIx64"\n", name, limit, base);
> }
>
> +static void vmx_dump_vcpu_msr_ar
