There is doc about xQueueSendFromISR()
It contains “From FreeRTOS V7.3.0 pxHigherPriorityTaskWoken is an optional parameter and can be set to NULL.”
There is doc about xMessageBufferSendFromISR()
It contains nothing about can I set pxHigherPriorityTaskWoken to NULL or not.
Please update doc about xMessageBufferSendFromISR().