On 26/08/2025 11:03 pm, Xin Li wrote: > On 8/26/2025 11:50 AM, Andrew Cooper wrote: >> This distinction only matters for guests, and adding the CET-SS >> precondition makes things simpler overall for both VMMs and guests. So >> can't this just be fixed up before being integrated into the SDM? > > +1 :) I've just realised why these MSRs are tied together in this way. As written, the VMX Entry/Exit Load/Save FRED controls do not allow for a logical configuration of FRED && !CET-SS. Both sets of stack pointers are treated the same. This is horrible. I'm less certain if this can simply be fixed by changing the SDM. ~Andrew
