I need to be able to protect atomic writing and reading a 32-bit type on a dspic33 which has a native word length of 16 bits. Thus I need a mutex.
The web manual for xSemaphoreTake says one must use xQueueReceiveFromISR() from within the ISR.
If one looks at the manual for xQueueReceiveFromISR() it does not specify how to call this for the mutex when calling this in the ISR.
For example, the mutex has no "data returned" so what is one to use for the pvBuffer parameter? Also, does one need the pxTaskWoken parameter in this case?
It would be helpful to explain this mutex use of xQueueReceiveFromISR() and an example in the manual.