ARM_IPI_NOP
arm_send_ipi(ci, ARM_IPI_NOP);
arm_send_ipi(ci, ARM_IPI_NOP);
sc->sc_ipi_num[ARM_IPI_NOP] = ipiirq[0];
sc->sc_ipi_num[ARM_IPI_NOP] = ipiirq[0];
sc->sc_ipi_reason[cpu_number()] = ARM_IPI_NOP;
if (ci == curcpu() && id == ARM_IPI_NOP)
arm_send_ipi(ci, ARM_IPI_NOP);
arm_send_ipi(ci, ARM_IPI_NOP);
arm_send_ipi(ci, ARM_IPI_NOP);
if (reason == ARM_IPI_NOP) {
if (reason == ARM_IPI_NOP) {
if (reason == ARM_IPI_NOP) {