On 4/12/2025 4:10 PM, H. Peter Anvin wrote:
Also,*in this specific case* IA32_SPEC_CTRL is architecturally nonserializing, i.e. WRMSR executes as WRMSRNS anyway.
While the immediate form WRMSRNS could be faster because the MSR index is available *much* earlier in the pipeline, right?
