TAA_MITIGATION_TSX_DISABLED
case TAA_MITIGATION_TSX_DISABLED:
if ((taa_mitigation == TAA_MITIGATION_TSX_DISABLED) ||
[TAA_MITIGATION_TSX_DISABLED] = "Mitigation: TSX disabled",
taa_mitigation = TAA_MITIGATION_TSX_DISABLED;