native_wrmsrq
native_wrmsrq(MSR_AMD_DBG_EXTN_CFG, val | 3ULL << 3);
native_wrmsrq(HV_X64_MSR_RESET, 1); /* get hyp to reboot */
native_wrmsrq(MSR_AMD64_SEV_ES_GHCB, val);
native_wrmsrq(APIC_BASE_MSR + (APIC_EOI >> 4), APIC_EOI_ACK);
native_wrmsrq(MSR_IA32_UCODE_REV, 0);
native_wrmsrq(msr, val);
native_wrmsrq(MSR_IA32_SPEC_CTRL, val);
native_wrmsrq(MSR_AMD64_SAVIC_CONTROL, 0);
native_wrmsrq(MSR_AMD64_SAVIC_CONTROL,
native_wrmsrq(MSR_IA32_MCG_STATUS, 0);
native_wrmsrq(MSR_AMD64_PATCH_LOADER, p_addr);
native_wrmsrq(MSR_IA32_UCODE_WRITE, (unsigned long)mc->bits);
native_wrmsrq(reg, sint.as_uint64);
native_wrmsrq(reg, value);
native_wrmsrq(MSR_MISC_FEATURE_CONTROL, prefetch_disable_bits);
native_wrmsrq(MSR_IA32_FLUSH_CMD, L1D_FLUSH);
native_wrmsrq(MSR_IA32_MCU_OPT_CTRL, msr);
native_wrmsrq(MSR_IA32_MCU_OPT_CTRL, vmx->msr_ia32_mcu_opt_ctrl);
native_wrmsrq(MSR_IA32_SPEC_CTRL, hostval);