Home
last modified time | relevance | path

Searched refs:IA32_VMX_ENTRY_CTLS (Results 1 – 2 of 2) sorted by relevance

/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c1967 vcpu->vc_vmx_entry_ctls = rdmsr(IA32_VMX_ENTRY_CTLS); in vcpu_reset_regs_vmx()
2184 ctrl = IA32_VMX_ENTRY_CTLS; in vcpu_reset_regs_vmx()
3015 case IA32_VMX_ENTRY_CTLS: in vcpu_vmx_check_cap()
3035 case IA32_VMX_ENTRY_CTLS: in vcpu_vmx_check_cap()
3214 case IA32_VMX_ENTRY_CTLS: in vcpu_vmx_compute_ctrl()
7148 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS, in vmx_dump_vmcs()
7157 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS, in vmx_dump_vmcs()
7166 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS, in vmx_dump_vmcs()
7187 if (vcpu_vmx_check_cap(vcpu, IA32_VMX_ENTRY_CTLS, in vmx_dump_vmcs()
/openbsd/sys/arch/amd64/include/
H A Dspecialreg.h1115 #define IA32_VMX_ENTRY_CTLS 0x484 macro