/* Get maximum number of memory blocks in a Memory Pool.  */
uint32_t osMemoryPoolGetCapacity(osMemoryPoolId_t mp_id)
/* Get maximum number of memory blocks in a Memory Pool.  */
uint32_t osMemoryPoolGetCapacity(osMemoryPoolId_t mp_id)
{
    capacity = svcRtxMemoryPoolGetCapacity(mp_id);
  } else {
    capacity =  __svcMemoryPoolGetCapacity(mp_id);
  }
  return capacity;
}