#ifdef MARKER
trace_mark(ust, event, "event %d", v);
#ifdef MARKER
trace_mark(ust, event, "event %d", v);
void usage(char **argv) {
printf("Usage: %s nr_cpus nr_events\n", argv[0]);
}
void usage(char **argv) {
printf("Usage: %s nr_cpus nr_events\n", argv[0]);
}