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