Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/include/
Dvmmvar.h853 uint64_t vc_vmx_true_entry_ctls; member
/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1974 vcpu->vc_vmx_true_entry_ctls = rdmsr(IA32_VMX_TRUE_ENTRY_CTLS); in vcpu_reset_regs_vmx()
2182 ctrlval = vcpu->vc_vmx_true_entry_ctls; in vcpu_reset_regs_vmx()
3016 ctl = vcpu->vc_vmx_true_entry_ctls; in vcpu_vmx_check_cap()
6861 vcpu->vc_vmx_true_entry_ctls); in dump_vcpu()