For some reason, most silicon vendors (NXP, AMD, etc.) choose to release their FreeRTOS ports (some of which support SMP) directly to their customers instead of publicly contributing them to the FreeRTOS repositories. Perhaps someone from the AWS team (@aggarg?) can comment further on why this is the case and what their preference is in this situation?
I suspect that the vendors don’t want to deal with upstreaming their changs and supporting customers publicly, but as far as I’m aware they also can’t prevent a 3rd party from contributing the vendor ports since this is permitted under the MIT license.
In the NXP CM7 and R55 ports, portENTER_CRITICAL() does indeed call vTaskEnterCritical().