suggestion:accord the code in queue.c
use the same params for both xQueueSendFromISR and xQueueReceiveFromISR. And make the return of these funs the same meaning . I think it’s more understandable.
signed portBASE_TYPE xQueueSendFromISR( xQueueHandle pxQueue, const void *pvItemToQueue, signed portBASE_TYPE xTaskPreviouslyWoken );
==>
signed portBASE_TYPE xQueueSendFromISR( xQueueHandle pxQueue, const void *pvItemToQueue, signed portBASE_TYPE *pxTaskWoken);
or vice versa