Home
last modified time | relevance | path

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

/openbsd/sys/arch/amd64/include/
H A Dvmmvar.h852 uint64_t vc_vmx_entry_ctls; member
/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()
2185 ctrlval = vcpu->vc_vmx_entry_ctls; in vcpu_reset_regs_vmx()
3036 ctl = vcpu->vc_vmx_entry_ctls; in vcpu_vmx_check_cap()
6859 vcpu->vc_vmx_entry_ctls); in dump_vcpu()