K 10
svn:author
V 5
ariff
K 8
svn:date
V 27
2009-06-09T07:26:52.363515Z
K 7
svn:log
V 333
When using i8254 as the only kernel timer source:

- Interpolate stat/prof clock using clkintr() in a similar fashion to
  local APIC timer, since statclock usually run slower.

- Liberate hardclockintr() from taking the burden of handling both stat
  and prof clock interrupt. Instead, send IPIs within clkintr() to handle
  those.

END