/* Allocate a memory block from a Memory Pool.  */
void* osMemoryPoolAlloc(osMemoryPoolId_t mp_id, uint32_t timeout)
/* Allocate a memory block from a Memory Pool.  */
void* osMemoryPoolAlloc(osMemoryPoolId_t mp_id, uint32_t timeout)
{
    memory = isrRtxMemoryPoolAlloc(mp_id, timeout);
  } else {
    memory =  __svcMemoryPoolAlloc(mp_id, timeout);
  }
  return memory;
}