svm_setmsrbrw
void svm_setmsrbrw(struct vcpu *, uint32_t);
svm_setmsrbrw(vcpu, MSR_IA32_FEATURE_CONTROL);
svm_setmsrbrw(vcpu, MSR_SYSENTER_CS);
svm_setmsrbrw(vcpu, MSR_SYSENTER_ESP);
svm_setmsrbrw(vcpu, MSR_SYSENTER_EIP);
svm_setmsrbrw(vcpu, MSR_STAR);
svm_setmsrbrw(vcpu, MSR_LSTAR);
svm_setmsrbrw(vcpu, MSR_CSTAR);
svm_setmsrbrw(vcpu, MSR_SFMASK);
svm_setmsrbrw(vcpu, MSR_FSBASE);
svm_setmsrbrw(vcpu, MSR_GSBASE);
svm_setmsrbrw(vcpu, MSR_KERNELGSBASE);
svm_setmsrbrw(vcpu, MSR_SEV_STATUS);
svm_setmsrbrw(vcpu, MSR_SEV_GHCB);
svm_setmsrbrw(vcpu, MSR_EFER);