SMT_ON             28 tools/perf/util/expr.y %token MIN MAX IF ELSE SMT_ON
SMT_ON             91 tools/perf/util/expr.y 	| SMT_ON		 { $$ = smt_on() > 0; }
SMT_ON            139 tools/perf/util/expr.y 			return SMT_ON;