xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/aws_freertos_ip_verification_access_ip_define.h

eFrameProcessingResult_t publicProcessIPPacket( IPPacket_t * const pxIPPacket,
                                                NetworkBufferDescriptor_t * const pxNetworkBuffer )
{
    prvProcessIPPacket( pxIPPacket, pxNetworkBuffer );
}