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
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