K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2001-04-11T17:06:02.000000Z
K 7
svn:log
V 159
Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just
"redundant noise" and to match the IPI constant namespace (IPI_*).

Requested by:	bde

END