log_output
void log_output(const char *format, ...) __attribute__ ((format(printf, 1, 2)));
log_output("%7.0f +/- ", average_latency);
log_output("%7.3g +/- ", average_latency);
log_output("%-9.0f", sd);
log_output("%-9.3g", sd);
log_output("%7.0f\t", max_latency);
log_output("%7.3g\t", max_latency);
log_output("\t%4.3g", samples_met);
log_output("\t%11.3g", deadlines_met);
log_output("\n");
log_output("\n");
log_output("Using %lu loops per ms, running every load for %d seconds\n",
log_output("Benchmarking kernel %s at datestamp %s\n",
log_output("Comment: %s\n", comment);
log_output("\n");
log_output("--- Benchmarking simulated cpu of %s ", threadlist[i].label);
log_output("real time ");
log_output("nice %d ", ud.bench_nice);
log_output("in the presence of simulated ");
log_output("nice %d ", ud.load_nice);
log_output("---\n");
log_output("Load");
log_output("\tLatency +/- SD (us)");
log_output("\tLatency +/- SD (ms)");
log_output(" Max Latency ");
log_output(" %% Desired CPU");
log_output(" %% Deadlines Met");
log_output("\n");
log_output("%s\t", thj->label);
log_output("\n");
log_output("\n");