#include <nrf_cc3xx_platform_mutex.h>
Mask value indicating that the mutex is allocated and requires deallocation once freed.