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