[Ethernet Driver Porting API]
void vEthernetBufferRelease( uint8_t *pucEthernetBuffer );
vEthernetBufferRelease() must not be called from an interrupt service routine (ISR).
A pointer to the Ethernet buffer being released
(returned to the IP stack).
Examples are provided on the Porting FreeRTOS to a Different Microcontroller page.