/* * ipi_cpu_handler: the IPI handler. */