machine__get_kernel_start   88 tools/perf/util/machine.h int machine__get_kernel_start(struct machine *machine);
machine__get_kernel_start   93 tools/perf/util/machine.h 		machine__get_kernel_start(machine);