/* Get memory block size in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetBlockSize(osMemoryPoolId_t mp_id)
/* Get memory block size in a Memory Pool.  */
static uint32_t svcRtxMemoryPoolGetBlockSize(osMemoryPoolId_t mp_id)
{
    EvrRtxMemoryPoolGetBlockSize(mp, 0U);
    return 0U;
  }
  EvrRtxMemoryPoolGetBlockSize(mp, mp->mp_info.block_size);
  return mp->mp_info.block_size;
}