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?
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?
|