jhb 4dd39ab878 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

2001-04-11 17:06:02 +00:00

..

conf

Clean up some leftovers from the root mount cleanup that was done some

2001-02-04 15:35:10 +00:00

ia64

Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just

2001-04-11 17:06:02 +00:00

include

Rename the IPI API from smp_ipi_* to ipi_* since the smp_ prefix is just

2001-04-11 17:06:02 +00:00

isa

…