4.4 Benchmarking

/* Start benchmark */
void d3tui_bench_start(const char *name);

/* End benchmark */
void d3tui_bench_end(void);

/* Get benchmark results */
void d3tui_bench_get_results(const char *name, uint32_t *min, uint32_t *max,
                            uint32_t *avg, uint32_t *count);

/* Print benchmark results */
void d3tui_bench_print_results(void);

/* Reset benchmarks */
void d3tui_bench_reset(void);