/* Get number of memory blocks used in a Memory Pool.  */
uint32_t osMemoryPoolGetCount(osMemoryPoolId_t mp_id)
/* Get number of memory blocks used in a Memory Pool.  */
uint32_t osMemoryPoolGetCount(osMemoryPoolId_t mp_id)
{
    count = svcRtxMemoryPoolGetCount(mp_id);
  } else {
    count =  __svcMemoryPoolGetCount(mp_id);
  }
  return count;
}