gf_sys_clock_high_res 90 src/utils/os_divers.c u64 gf_sys_clock_high_res() gf_sys_clock_high_res 588 src/utils/os_divers.c u64 gf_sys_clock_high_res()