On Wed, 2018-03-21 at 19:52 +0000, Andrew Cooper wrote:
> On 28/02/18 16:09, Sergey Dyasli wrote:
> >
> > + struct {
> > + /* 0x00000480 MSR_IA32_VMX_BASIC */
> > + union {
> > + uint64_t raw;
> > + struct {
> > + uint32_t vmcs_revision_id:31;
>
> vmcs_rev_id
>
> > + bool mbz:1; /* 31 always zero */
>
> Is this really mbz? Isn't this the shadow identifier bit for shadow vmcs's?
Yes, in vmcs itself it's the shadow bit. However, it is always zero in
MSR since the job of MSR is to report vmcs revision identifier.
--
Thanks,
Sergey
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
