/* Get maximum number of memory blocks in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetCapacity(osMemoryPoolId_t mp_id)
/* Get maximum number of memory blocks in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetCapacity(osMemoryPoolId_t mp_id)
{
    EvrRtxMemoryPoolGetCapacity(mp, 0U);
    return 0U;
  }
  EvrRtxMemoryPoolGetCapacity(mp, mp->mp_info.max_blocks);
  return mp->mp_info.max_blocks;
}