Is there a reason NULL is not allowed as the pxHigherPriorityTaskWoken argument of xSemaphoreGiveFromISR? Many times I don't need to know if a higher priority task was awaken and could pass NULL to the function instead, like some other API functions.
No particular reason over and above keeping the code size and run time to a minimum. Feel free to add it to the feature request tracker and it will get added in at some point.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.