Symbol: OSAL_MUTEX_ALLOC