79d97d7582
used for hardclcok(9). Old code is still left for reference. XXX: possibly problematic if hardclock(9) is blocked more than 1/HZ, XXX: but old microtime(9) implementation also had the similar problem.