Did you mean (for linux):timer_settime32 timerfd_gettime32 timer_gettime
Your search defs:timer_gettime32 did not match any files. Suggestions: