/* Allocate a memory block from a memory pool and set memory block to zero.  */
void* osPoolCAlloc(osPoolId pool_id)
/* Allocate a memory block from a memory pool and set memory block to zero.  */
void* osPoolCAlloc(osPoolId pool_id)
{
    return   sysPoolAlloc(pool_id, 1);
  } else {
    return __sysPoolAlloc(pool_id, 1);
  }
}