_GET_BENCHMARK_TIME

float _GET_BENCHMARK_TIME(/* parameters not documented */);