Did you mean (for linux-6.12.1):sys_clock_gettime64 sys_clock_gettime
Your search defs:sys_clock_gettime32 did not match any files. Suggestions: