/* Return an allocated buffer to the pool of free buffers.  */
static void prvReturnBuffer(unsigned char *pucBuffer)
/* Return an allocated buffer to the pool of free buffers.  */
static void prvReturnBuffer(unsigned char *pucBuffer)
{
unsigned long ul;
	for( ul = 0; ul < ETH_NUM_BUFFERS; ul++ )
	{
		if( ETH_BUF( ul ) == ( unsigned long ) pucBuffer )
		{
			ucBufferInUse[ ul ] = pdFALSE;
			break;
		}
	}
}