xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/include/aws_freertos_ip_verification_access_ip_define.h (revision 9d15770091225885eac5dbecba5cdb6840843db2)

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