K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2001-04-10T21:04:32.000000Z
K 7
svn:log
V 296
Add an MI API for sending IPI's.  I used the same API present on the alpha
because:
 - it used a better namespace (smp_ipi_* rather than *_ipi),
 - it used better constant names for the IPI's (IPI_* rather than
   X*_OFFSET), and
 - this API also somewhat exists for both alpha and ia64 already.

END