/* Get number of memory blocks available in a Memory Pool.  */
uint32_t osMemoryPoolGetSpace(osMemoryPoolId_t mp_id)
/* Get number of memory blocks available in a Memory Pool.  */
uint32_t osMemoryPoolGetSpace(osMemoryPoolId_t mp_id)
{
    space = svcRtxMemoryPoolGetSpace(mp_id);
  } else {
    space =  __svcMemoryPoolGetSpace(mp_id);
  }
  return space;
}