[nrf528xx] fix void * dereference (#4391)

This commit is contained in:
Kamil Sroka
2019-12-10 10:16:55 -08:00
committed by Jonathan Hui
parent 232b73477a
commit 1d5497ef7f
@@ -115,7 +115,7 @@ static void mutex_free(nrf_cc310_platform_mutex_t *mutex)
p_mutex = (SemaphoreHandle_t)mutex->mutex;
vSemaphoreDelete(*p_mutex);
vSemaphoreDelete(p_mutex);
/* Reset the mutex to invalid state */
mutex->flags = NRF_CC310_PLATFORM_MUTEX_MASK_INVALID;