K 10 svn:author V 3 phk K 8 svn:date V 27 1998-04-06T08:26:08.000000Z K 7 svn:log V 101 Make a kernel version of the timer* functions called timerval* to be more consistent. OK'ed by: bde END