Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1984 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) in vcpu_reset_regs_vmx()
2045 want1 |= IA32_VMX_ACTIVATE_SECONDARY_CONTROLS; in vcpu_reset_regs_vmx()
2086 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) { in vcpu_reset_regs_vmx()
2095 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) { in vcpu_reset_regs_vmx()
2204 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) { in vcpu_reset_regs_vmx()
6830 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1)) { in dump_vcpu()
6957 IA32_VMX_ACTIVATE_SECONDARY_CONTROLS, 1); in vmx_dump_vmcs()
Didentcpu.c950 if (msr & (IA32_VMX_ACTIVATE_SECONDARY_CONTROLS) << 32) { in cpu_check_vmm_cap()
/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h1172 #define IA32_VMX_ACTIVATE_SECONDARY_CONTROLS (1ULL << 31) macro