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