kernel_range      767 tools/perf/util/symbol.c 	int kernel_range = 0;
kernel_range      852 tools/perf/util/symbol.c 					kernel_range++);
kernel_range      856 tools/perf/util/symbol.c 					kernel_range++);
kernel_range      872 tools/perf/util/symbol.c 			++kernel_range;