/* * ipi_trigger: asynchronously send an IPI to the specified CPU. */