On Thu, Jul 20, 2023 at 11:03:49PM -0400, Yang Weijiang wrote:> vmcs_conf->size = vmx_msr_high & 0x1fff;>- vmcs_conf->basic_cap = vmx_msr_high & ~0x1fff;>+ vmcs_conf->basic_cap = vmx_msr_high & ~0x7fff;why bit 13 and 14 are masked here?