K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2010-03-26T02:29:15.486519Z
K 7
svn:log
V 370
Only use the interval timer for clock interrupts on the BSP and
have the BSP use IPIs to trigger clock interrupts on the APs.
This allows us to run on hardware configurations for which the
ITC has non-uniform frequencies across CPUs.

While here, change the clock XIV to type IPI so as to protect
the interrupt delivery against CPU re-balancing once that's
implemented.

END