/* * ipi_wait: spin-wait until the message is processed. */