getcurrentmachinetime  457 modules/gui_bench.c         t = getcurrentmachinetime();
getcurrentmachinetime  470 modules/gui_bench.c         t = getcurrentmachinetime();
getcurrentmachinetime  514 modules/gui_bench.c         t = getcurrentmachinetime();