/* this function calls the 'stop' function on all other CPUs in the system.  */
void smp_send_stop(void)
/* this function calls the 'stop' function on all other CPUs in the system.  */
void smp_send_stop(void)
{
	send_IPI_allbutself(IPI_CPU_STOP);
}