K 10 svn:author V 5 markj K 8 svn:date V 27 2019-12-16T01:27:14.088602Z K 7 svn:log V 63 Remove a declaration of sched_clock() redundant after r355779. END