Home
last modified time | relevance | path

Searched refs:IA32_VMX_PROCBASED2_CTLS (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1985 vcpu->vc_vmx_procbased2_ctls = rdmsr(IA32_VMX_PROCBASED2_CTLS); in vcpu_reset_regs_vmx()
2087 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
2096 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
2107 ctrl = IA32_VMX_PROCBASED2_CTLS; in vcpu_reset_regs_vmx()
2205 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vcpu_reset_regs_vmx()
3012 case IA32_VMX_PROCBASED2_CTLS: in vcpu_vmx_check_cap()
3032 case IA32_VMX_PROCBASED2_CTLS: in vcpu_vmx_check_cap()
3192 case IA32_VMX_PROCBASED2_CTLS: in vcpu_vmx_compute_ctrl()
6960 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vmx_dump_vmcs()
6973 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_PROCBASED2_CTLS, in vmx_dump_vmcs()
[all …]
Didentcpu.c951 msr = rdmsr(IA32_VMX_PROCBASED2_CTLS); in cpu_check_vmm_cap()
/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h1121 #define IA32_VMX_PROCBASED2_CTLS 0x48B macro