native_rdmsrq
sev_status = msr = native_rdmsrq(MSR_AMD64_SEV);
msr = native_rdmsrq(MSR_AMD64_SYSCFG);
return native_rdmsrq(MSR_AMD64_SEV_ES_GHCB);
return native_rdmsrq(MSR_AMD_DBG_EXTN_CFG);
input->vp_context.efer = native_rdmsrq(MSR_EFER);
input->vp_context.msr_cr_pat = native_rdmsrq(MSR_IA32_CR_PAT);
return native_rdmsrq(MSR_AMD64_SEV_ES_GHCB);
return native_rdmsrq(reg);
c->ppin = native_rdmsrq(info->msr_ppin);
m->mcgcap = native_rdmsrq(MSR_IA32_MCG_CAP);
mcgstatus = native_rdmsrq(MSR_IA32_MCG_STATUS);
saved_msr = native_rdmsrq(MSR_MISC_FEATURE_CONTROL);
msr = native_rdmsrq(MSR_IA32_MCU_OPT_CTRL);
vmx->spec_ctrl = native_rdmsrq(MSR_IA32_SPEC_CTRL);