/* Return an allocated memory block back to a Memory Pool.  */
__STATIC_INLINE osStatus_t isrRtxMemoryPoolFree(osMemoryPoolId_t mp_id, void *block)
/* Return an allocated memory block back to a Memory Pool.  */
__STATIC_INLINE osStatus_t isrRtxMemoryPoolFree(osMemoryPoolId_t mp_id, void *block)
{
    EvrRtxMemoryPoolError(mp, (int32_t)osErrorParameter);
    return osErrorParameter;
  }
  status = osRtxMemoryPoolFree(&mp->mp_info, block);
  if (status == osOK) {
    osRtxPostProcess(osRtxObject(mp));
    EvrRtxMemoryPoolDeallocated(mp, block);
  } else {
    EvrRtxMemoryPoolFreeFailed(mp, block);
  }
  return status;
}