Symbol: osnoise_main
kernel/trace/trace_osnoise.c
1986
void *main = osnoise_main;
tools/tracing/rtla/src/osnoise.h
57
int osnoise_main(int argc, char **argv);
tools/tracing/rtla/src/rtla.c
49
osnoise_main(argc-start_position, &argv[start_position]);