mpic_cpu_write
mpic_cpu_write(MPIC_INFO(CPU_CURRENT_TASK_PRI), 0xf);
mpic_cpu_write(MPIC_INFO(CPU_CURRENT_TASK_PRI), 0);
mpic_cpu_write(MPIC_INFO(CPU_CURRENT_TASK_PRI), 0);
mpic_cpu_write(MPIC_INFO(CPU_CURRENT_TASK_PRI), prio);
mpic_cpu_write(MPIC_INFO(CPU_CURRENT_TASK_PRI), 0xf);
mpic_cpu_write(MPIC_INFO(CPU_IPI_DISPATCH_0) +
mpic_cpu_write(MPIC_INFO(CPU_EOI), 0);