Searched refs:svm_setmsrbrw (Results 1 – 1 of 1) sorted by relevance
| /openbsd/src/sys/arch/amd64/amd64/ |
| D | vmm_machdep.c | 135 void svm_setmsrbrw(struct vcpu *, uint32_t);
1630 svm_setmsrbrw(vcpu, MSR_IA32_FEATURE_CONTROL); in vcpu_reset_regs_svm()
1631 svm_setmsrbrw(vcpu, MSR_SYSENTER_CS); in vcpu_reset_regs_svm()
1632 svm_setmsrbrw(vcpu, MSR_SYSENTER_ESP); in vcpu_reset_regs_svm()
1633 svm_setmsrbrw(vcpu, MSR_SYSENTER_EIP); in vcpu_reset_regs_svm()
1634 svm_setmsrbrw(vcpu, MSR_STAR); in vcpu_reset_regs_svm()
1635 svm_setmsrbrw(vcpu, MSR_LSTAR); in vcpu_reset_regs_svm()
1636 svm_setmsrbrw(vcpu, MSR_CSTAR); in vcpu_reset_regs_svm()
1637 svm_setmsrbrw(vcpu, MSR_SFMASK); in vcpu_reset_regs_svm()
1638 svm_setmsrbrw(vcpu, MSR_FSBASE); in vcpu_reset_regs_svm()
[all …]
|