/* * Send a dummy ipi to a cpu. */