bench_sched_pipe
int bench_sched_pipe(int argc, const char **argv);
{ "pipe", "Benchmark for pipe() between two processes", bench_sched_pipe },