/* Return an allocated memory block back to a specific memory pool.  */
osStatus sysPoolFree(osPoolId pool_id, void *block)
/* Return an allocated memory block back to a specific memory pool.  */
osStatus sysPoolFree(osPoolId pool_id, void *block)
{
    return osErrorParameter;
  }
  res = rt_free_box(pool_id, block);
  if (res != 0) {
    return osErrorValue;
  }
  return osOK;
}