src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3271

basic = rdmsr(MSR_IA32_VMX_BASIC);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3301

basic = rdmsr(MSR_IA32_VMX_BASIC);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

3362

msr = rdmsr(MSR_IA32_VMX_BASIC);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

923

msr = rdmsr(MSR_IA32_VMX_BASIC);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3271

basic = rdmsr(MSR_IA32_VMX_BASIC);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3301

basic = rdmsr(MSR_IA32_VMX_BASIC);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

3362

msr = rdmsr(MSR_IA32_VMX_BASIC);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

923

msr = rdmsr(MSR_IA32_VMX_BASIC);