/* Return an allocated memory block back to a Memory Pool.  */
osStatus_t osMemoryPoolFree(osMemoryPoolId_t mp_id, void *block)
/* Return an allocated memory block back to a Memory Pool.  */
osStatus_t osMemoryPoolFree(osMemoryPoolId_t mp_id, void *block)
{
    status = isrRtxMemoryPoolFree(mp_id, block);
  } else {
    status =  __svcMemoryPoolFree(mp_id, block);
  }
  return status;
}