Searched refs:pxIPv6Packet (Results 1 – 3 of 3) sorted by relevance
37 IPPacket_IPv6_t * pxIPv6Packet = ( IPPacket_IPv6_t * ) pxNetworkBuffer->pucEthernetBuffer; in harness() local39 __CPROVER_assume( pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_HOP_BY_HOP || in harness()40 … pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_DESTINATION_OPTIONS || in harness()41 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_ROUTING_HEADER || in harness()42 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_FRAGMENT_HEADER || in harness()43 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_AUTHEN_HEADER || in harness()44 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_SECURE_PAYLOAD || in harness()45 pxIPv6Packet->xIPHeader.ucNextHeader == ipIPv6_EXT_HEADER_MOBILITY_HEADER ); in harness()
103 … const IPPacket_IPv6_t * const pxIPv6Packet = ( const IPPacket_IPv6_t * const ) pucEthernetBuffer; in xCheckIPv6SizeFields() local116 ucVersionTrafficClass = pxIPv6Packet->xIPHeader.ucVersionTrafficClass; in xCheckIPv6SizeFields()133 usPayloadLength = FreeRTOS_ntohs( pxIPv6Packet->xIPHeader.usPayloadLength ); in xCheckIPv6SizeFields()142 ucNextHeader = pxIPv6Packet->xIPHeader.ucNextHeader; in xCheckIPv6SizeFields()
132 IPHeader_IPv6_t * pxIPv6Packet; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet() local138 pxIPv6Packet = ( IPHeader_IPv6_t * ) pucEthernetBuffer; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()139 pxIPv6Packet->usPayloadLength = ipSIZE_OF_IPv6_PAYLOAD_LEN; in test_prvChecksumIPv6Checks_IncompleteIPv6Packet()158 IPHeader_IPv6_t * pxIPv6Packet; in test_prvChecksumIPv6Checks_Success() local164 pxIPv6Packet = ( IPHeader_IPv6_t * ) pucEthernetBuffer; in test_prvChecksumIPv6Checks_Success()
