cpu_smt_allowed 538 kernel/cpu.c if (!cpu_smt_allowed(cpu)) cpu_smt_allowed 1195 kernel/cpu.c if (!cpu_smt_allowed(cpu)) {