Searched refs:os_times_gtc32 (Results 1 – 7 of 7) sorted by relevance
209 os_times_gtc32(ErtsMonotonicTime *mtimep, ErtsSystemTime *stimep) in os_times_gtc32() function322 os_times_func = os_times_gtc32; in sys_init_time()
197 os_times_gtc32(ErtsMonotonicTime *mtimep, ErtsSystemTime *stimep) in os_times_gtc32() function310 os_times_func = os_times_gtc32; in sys_init_time()