K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2010-09-15T19:27:30.170950Z
K 7
svn:log
V 406
MFC: r211050 (partial)

- Introduce a cpu_ipi_single() function pointer in order to send IPIs
  to single CPUs more efficiently with Cheetah(-class) and Jalapeno CPUs.
- Factor out the Jalapeno support from the Cheetah IPI send functions
  in order to be able to more easily and efficiently implement support
  for more than 32 target CPUs as well as a workaround for Cheetah+
  erratum 25 for the latter.

END