hello,
I could not find any example where portENTER_CRITICAL calls vTaskEnterCritical besides the template and I looked at all the GCC/ARM ports and none have this.
Even so, if vTaskEnterCritical is called this further maps on only 2 spinlocks through portGET_TASK_LOCK/portGET_ISR_LOCK thus same problem of user and kernel sharing 2 spinlocks iven if it makes no sense.
Is there any public FreeRTOS ARM SMP port ?
Regards,
Geo