K 10 svn:author V 3 phk K 8 svn:date V 27 2003-02-05T08:55:10.000000Z K 7 svn:log V 79 Make get_cyclecount() use binuptime() when no tsc is available: it is cheaper. END