I need a timer for some code I'm writing. I found the get_tick_count function
(in \platform\generic\wrappers.c, line 144), studied core\gui_bench.c, and
in the function gui_bench_run it looks like the ticks it returns have a lenght
of 0.25 millisec, that is, there's 4000 of them in a second.
Can somebody confirm this please ?
thanks in advance,
wim
edit: and, BTW, in gui_bench_run() I noticed a 'buf = malloc(0x10000)' with no corresponding free(buf) ?
