John Baldwin 2fea957dc5 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