K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2015-01-20T03:54:30.813061Z
K 7
svn:log
V 330
Update the vdso timehands only via tc_windup().

Prior to this change CLOCK_MONOTONIC could go backwards when the timecounter
hardware was changed via 'sysctl kern.timecounter.hardware'. This happened
because the vdso timehands update was missing the special treatment in
tc_windup() when changing timecounters.

Reviewed by:	kib

END