/* Releases a binary semaphore object, previously created with  */
void TbxMbOsalSemFree(tTbxMbOsalSem sem)
/* Releases a binary semaphore object, previously created with  */
void TbxMbOsalSemFree(tTbxMbOsalSem sem)
{
  TBX_ASSERT(sem != NULL);
  if (sem != NULL)
  {
    tTbxMbOsalSemCtx * semCtx = (tTbxMbOsalSemCtx *)sem;
    TBX_ASSERT(semCtx->type == TBX_MB_OSAL_SEM_CONTEXT_TYPE);
    TbxMemPoolRelease(semCtx);
  }
}