3c6185788f
This commit fixes the following build errors in SMP FreeRTOS when building with GCC 11: - "-Wattributes" warning due to conflicting attributes on xPortInterruptedFromISRContext() - "-Wtype-limits" warning due to taskVALID_CORE_ID() not casting xCoreID