sev_es_wr_ghcb_msr
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(GHCB_MSR_VMPL_REQ_LEVEL(0));
sev_es_wr_ghcb_msr(val);
sev_es_wr_ghcb_msr(GHCB_CPUID_REQ(fn, reg_idx));
sev_es_wr_ghcb_msr(val);
sev_es_wr_ghcb_msr(GHCB_MSR_HV_FT_REQ);
sev_es_wr_ghcb_msr(GHCB_MSR_PSC_REQ_GFN(paddr >> PAGE_SHIFT, desc->op));
sev_es_wr_ghcb_msr(msr);
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(__pa_nodebug(ghcb));
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(__pa(ghcb));
sev_es_wr_ghcb_msr(GHCB_MSR_REG_GPA_REQ_VAL(pfn));
sev_es_wr_ghcb_msr(GHCB_MSR_SEV_INFO_REQ);