int FreeMutex(wolfSSL_Mutex* m) { if (tx_mutex_delete(m) == 0) return 0; else return BAD_MUTEX_E; }
wiced_result_t wiced_rtos_deinit_mutex( wiced_mutex_t* mutex ) { if ( tx_mutex_delete( mutex ) != TX_SUCCESS ) { return WICED_ERROR; } return WICED_SUCCESS; }