Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c136 void vmx_setmsrbr(struct vcpu *, uint32_t);
1796 vmx_setmsrbr(struct vcpu *vcpu, uint32_t msr) in vmx_setmsrbr() function
1862 vmx_setmsrbr(vcpu, msr); in vmx_setmsrbrw()
2454 vmx_setmsrbr(vcpu, MSR_MISC_ENABLE); in vcpu_reset_regs_vmx()
2455 vmx_setmsrbr(vcpu, MSR_TSC); in vcpu_reset_regs_vmx()