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