/* Return an allocated memory block back to a specific memory pool.  */
osStatus osPoolFree(osPoolId pool_id, void *block)
/* Return an allocated memory block back to a specific memory pool.  */
osStatus osPoolFree(osPoolId pool_id, void *block)
{
    return   sysPoolFree(pool_id, block);
  } else {
    return __sysPoolFree(pool_id, block);
  }
}