Home
last modified time | relevance | path

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

/openbsd/sys/arch/amd64/include/
H A Dvmmvar.h420 #define VCPU_REGS_MISC_ENABLE 6 macro
421 #define VCPU_REGS_NMSRS (VCPU_REGS_MISC_ENABLE + 1)
/openbsd/sys/arch/amd64/amd64/
H A Dvmm_machdep.c2345 msr_store[VCPU_REGS_MISC_ENABLE].vms_index = MSR_MISC_ENABLE; in vcpu_reset_regs_vmx()
2351 msr_store[VCPU_REGS_MISC_ENABLE].vms_data = msr_misc_enable; in vcpu_reset_regs_vmx()
2352 msr_store[VCPU_REGS_MISC_ENABLE].vms_data &= in vcpu_reset_regs_vmx()
2356 msr_store[VCPU_REGS_MISC_ENABLE].vms_data |= in vcpu_reset_regs_vmx()
5494 msr_store[VCPU_REGS_MISC_ENABLE].vms_data = *rax | (*rdx << 32); in vmx_handle_misc_enable_msr()
5761 if (msr_store[VCPU_REGS_MISC_ENABLE].vms_data & in vmm_handle_cpuid()
/openbsd/usr.sbin/vmd/
H A Dx86_vm.c109 .vrs_msrs[VCPU_REGS_MISC_ENABLE] = 0ULL,