mpic_cpu_read
return mpic_cpu_read(MPIC_INFO(CPU_CURRENT_TASK_PRI));
src = mpic_cpu_read(reg) & MPIC_INFO(VECPRI_VECTOR_MASK);