TDX does not permit writing to the EFER register. Instead, EFER.LME is set as part of the reset state so long mode can be activated once paging is enabled. Since EFER.LME is already set by the hardware, any attempt to set EFER.LME should not write the EFER MSR if EFER.LME is already set.
TDX does not permit writing to the EFER register. Instead, EFER.LME is set as part of the reset state so long mode can be activated once paging is enabled. Since EFER.LME is already set by the hardware, any attempt to set EFER.LME should not write the EFER MSR if EFER.LME is already set.