MSR_AMD64_VIRT_SPEC_CTRL
wrmsrq(MSR_AMD64_VIRT_SPEC_CTRL, SPEC_CTRL_SSBD);
wrmsrq(MSR_AMD64_VIRT_SPEC_CTRL, ssbd_tif_to_spec_ctrl(tifn));
case MSR_AMD64_VIRT_SPEC_CTRL:
case MSR_AMD64_VIRT_SPEC_CTRL:
case MSR_AMD64_VIRT_SPEC_CTRL:
MSR_AMD64_VIRT_SPEC_CTRL,