mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-03-30 11:27:19 +02:00
aa7485ab0f
*(portNVIC_INT_CTRL) |= portNVIC_PENDSVSET; to *(portNVIC_INT_CTRL) = portNVIC_PENDSVSET;