Thank you for your interesting in migrating to FreeRTOS v11 and using SMP scheduler. The missing port functions in your list are required by SMP scheduler. You can reference this checklist for creating a SMP port.
Existing SMP port RP2040 and XMOS can also be used as an example implementation. Please take a look and post further question here.