/* Get memory block size in a Memory Pool.  */
uint32_t osMemoryPoolGetBlockSize(osMemoryPoolId_t mp_id)
/* Get memory block size in a Memory Pool.  */
uint32_t osMemoryPoolGetBlockSize(osMemoryPoolId_t mp_id)
{
    block_size = svcRtxMemoryPoolGetBlockSize(mp_id);
  } else {
    block_size =  __svcMemoryPoolGetBlockSize(mp_id);
  }
  return block_size;
}