run_bench 1569 kernel/generic/src/console/cmd.c if (!run_bench(test, cnt)) run_bench 1581 kernel/generic/src/console/cmd.c run_bench(test, cnt);