/* Get number of memory blocks used in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetCount(osMemoryPoolId_t mp_id)
/* Get number of memory blocks used in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetCount(osMemoryPoolId_t mp_id)
{
    EvrRtxMemoryPoolGetCount(mp, 0U);
    return 0U;
  }
  EvrRtxMemoryPoolGetCount(mp, mp->mp_info.used_blocks);
  return mp->mp_info.used_blocks;
}