SRSO_MITIGATION_NOSMT
[SRSO_MITIGATION_NOSMT] = "Mitigation: SMT disabled",
srso_mitigation = SRSO_MITIGATION_NOSMT;