/* Allocate a memory block from a Memory Pool.  */
__STATIC_INLINE void* isrRtxMemoryPoolAlloc(osMemoryPoolId_t mp_id, uint32_t timeout)
/* Allocate a memory block from a Memory Pool.  */
__STATIC_INLINE void* isrRtxMemoryPoolAlloc(osMemoryPoolId_t mp_id, uint32_t timeout)
{
    EvrRtxMemoryPoolError(mp, (int32_t)osErrorParameter);
    return NULL;
  }
  block = osRtxMemoryPoolAlloc(&mp->mp_info);
  if (block == NULL) {
    EvrRtxMemoryPoolAllocFailed(mp);
  } else {
    EvrRtxMemoryPoolAllocated(mp, block);
  }
  return block;
}