hw_ssb_set
hw_ssb_set(false, all_cpus);
hw_ssb_set(true, all_cpus);
hw_ssb_set((cpu_ia32_arch_caps & IA32_ARCH_CAP_SSB_NO) != 0 ?