c1ba727b47
sysconf(_SC_CLK_TCK) return hz will work. In detail: __times13() returns values scaled by hz. times() returns values scaled by 100. <sys/times.h> renames times() to __times13(). _SC_CLK_TCK has changed from 3 to 39. sysconf(3) returns 100. sysconf(39) returns hz. CLK_TCK is defined as sysconf(39).