/* Allocate a memory block from a memory pool.  */
void* osPoolAlloc(osPoolId pool_id)
/* Allocate a memory block from a memory pool.  */
void* osPoolAlloc(osPoolId pool_id)
{
    return   sysPoolAlloc(pool_id, 0);
  } else {
    return __sysPoolAlloc(pool_id, 0);
  }
}