K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2005-02-07T21:45:48.000000Z
K 7
svn:log
V 111
If the pointer to the new itimerval is NULL in kern_setitimer(), just
read the old value via kern_getitimer().

END