Searched refs:pxMessage (Results 1 – 5 of 5) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6HandleOption/ |
| D | DHCPv6HandleOption_harness.c | 53 … BitConfig_t * pxMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleStatusCode() argument
55 __CPROVER_assume( pxMessage != NULL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_handleStatusCode()
66 BitConfig_t * pxMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption() argument
68 __CPROVER_assume( pxMessage != NULL ); in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
84 BitConfig_t * pxMessage = safeMalloc( sizeof( BitConfig_t ) ); in harness() local
92 __CPROVER_assume( pxMessage != NULL ); in harness()
94 …CPv6_c_prvDHCPv6_handleOption( pxNetworkEndPoint_Temp, usOption, pxSet, pxDHCPMessage, pxMessage ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_DHCPv6.c | 140 BitConfig_t * pxMessage );
146 BitConfig_t * pxMessage );
262 BitConfig_t * pxMessage ) in prvDHCPv6_handleStatusCode() argument
266 uint16_t usStatus = usBitConfig_read_16( pxMessage ); in prvDHCPv6_handleStatusCode()
279 ( void ) xBitConfig_read_uc( pxMessage, ucMessage, uxReadLength ); in prvDHCPv6_handleStatusCode()
287 ( void ) xBitConfig_read_uc( pxMessage, NULL, uxReadLength ); in prvDHCPv6_handleStatusCode()
1101 BitConfig_t * pxMessage ) in prvDHCPv6_subOption() argument
1103 uint32_t ulIAID = ulBitConfig_read_32( pxMessage ); in prvDHCPv6_subOption()
1104 uint32_t ulTime_1 = ulBitConfig_read_32( pxMessage ); in prvDHCPv6_subOption()
1105 uint32_t ulTime_2 = ulBitConfig_read_32( pxMessage ); in prvDHCPv6_subOption()
[all …]
|
| D | FreeRTOS_DNS_Parser.c | 1029 DNSMessage_t * pxMessage; in DNS_TreatNBNS() local
1198 pxMessage = ( ( DNSMessage_t * ) pucUDPPayloadBuffer ); in DNS_TreatNBNS()
1202 … vSetField16( pxMessage, DNSMessage_t, usFlags, dnsNBNS_QUERY_RESPONSE_FLAGS ); /* 0x8500 */ in DNS_TreatNBNS()
1203 vSetField16( pxMessage, DNSMessage_t, usQuestions, 0 ); in DNS_TreatNBNS()
1204 vSetField16( pxMessage, DNSMessage_t, usAnswers, 1 ); in DNS_TreatNBNS()
1205 vSetField16( pxMessage, DNSMessage_t, usAuthorityRRs, 0 ); in DNS_TreatNBNS()
1206 vSetField16( pxMessage, DNSMessage_t, usAdditionalRRs, 0 ); in DNS_TreatNBNS()
|
| D | FreeRTOS_IP.c | 407 … SocketSelectMessage_t * pxMessage = ( ( SocketSelectMessage_t * ) xReceivedEvent.pvData ); in prvProcessIPEventsAndTimers() local
408 vSocketSelect( pxMessage->pxSocketSet ); in prvProcessIPEventsAndTimers()
409 ( void ) xTaskNotifyGive( pxMessage->xTaskhandle ); in prvProcessIPEventsAndTimers()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_utest.c | 68 BitConfig_t * pxMessage );
|
