Searched refs:BitConfig_t (Results 1 – 7 of 7) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/source/include/ |
| D | FreeRTOS_BitConfig.h | 49 } BitConfig_t; typedef
51 BaseType_t xBitConfig_init( BitConfig_t * pxConfig,
55 uint8_t ucBitConfig_read_8( BitConfig_t * pxConfig );
56 uint16_t usBitConfig_read_16( BitConfig_t * pxConfig );
57 uint32_t ulBitConfig_read_32( BitConfig_t * pxConfig );
58 BaseType_t xBitConfig_read_uc( BitConfig_t * pxConfig,
61 BaseType_t pucBitConfig_peek_last_index_uc( BitConfig_t * pxConfig,
65 void vBitConfig_write_8( BitConfig_t * pxConfig,
67 void vBitConfig_write_16( BitConfig_t * pxConfig,
69 void vBitConfig_write_32( BitConfig_t * pxConfig,
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_BitConfig/ |
| D | FreeRTOS_BitConfig_utest.c | 61 BitConfig_t xConfig, * pxConfig = &xConfig; in test_xBitConfig_init_Fail()
66 memset( &xConfig, 0, sizeof( BitConfig_t ) ); in test_xBitConfig_init_Fail()
83 BitConfig_t xConfig, * pxConfig = &xConfig; in test_xBitConfig_init_pucDataNull()
90 memset( &xConfig, 0, sizeof( BitConfig_t ) ); in test_xBitConfig_init_pucDataNull()
112 BitConfig_t xConfig; in test_xBitConfig_init_HappyPath()
119 memset( &xConfig, 0, sizeof( BitConfig_t ) ); in test_xBitConfig_init_HappyPath()
140 BitConfig_t xConfig; in test_xBitConfig_read_uc_xHasError()
144 memset( &xConfig, 0, sizeof( BitConfig_t ) ); in test_xBitConfig_read_uc_xHasError()
160 BitConfig_t xConfig, * pxConfig = &xConfig; in test_xBitConfig_read_uc_OutOfBoundRead()
164 memset( pxConfig, 0, sizeof( BitConfig_t ) ); in test_xBitConfig_read_uc_OutOfBoundRead()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/ |
| D | FreeRTOS_BitConfig.c | 57 BaseType_t xBitConfig_init( BitConfig_t * pxConfig, in xBitConfig_init()
99 BaseType_t xBitConfig_read_uc( BitConfig_t * pxConfig, in xBitConfig_read_uc()
141 BaseType_t pucBitConfig_peek_last_index_uc( BitConfig_t * pxConfig, in pucBitConfig_peek_last_index_uc()
173 uint8_t ucBitConfig_read_8( BitConfig_t * pxConfig ) in ucBitConfig_read_8()
195 uint16_t usBitConfig_read_16( BitConfig_t * pxConfig ) in usBitConfig_read_16()
218 uint32_t ulBitConfig_read_32( BitConfig_t * pxConfig ) in ulBitConfig_read_32()
246 void vBitConfig_write_uc( BitConfig_t * pxConfig, in vBitConfig_write_uc()
277 void vBitConfig_write_8( BitConfig_t * pxConfig, in vBitConfig_write_8()
295 void vBitConfig_write_16( BitConfig_t * pxConfig, in vBitConfig_write_16()
316 void vBitConfig_write_32( BitConfig_t * pxConfig, in vBitConfig_write_32()
[all …]
|
| D | FreeRTOS_DHCPv6.c | 140 BitConfig_t * pxMessage );
146 BitConfig_t * pxMessage );
262 BitConfig_t * pxMessage ) in prvDHCPv6_handleStatusCode()
966 BitConfig_t xMessage; in prvSendDHCPMessage()
1101 BitConfig_t * pxMessage ) in prvDHCPv6_subOption()
1216 BitConfig_t * pxMessage ) in prvDHCPv6_handleOption()
1405 BitConfig_t xMessage; in prvDHCPv6Analyse()
|
| /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()
66 BitConfig_t * pxMessage ) in __CPROVER_file_local_FreeRTOS_DHCPv6_c_prvDHCPv6_subOption()
84 BitConfig_t * pxMessage = safeMalloc( sizeof( BitConfig_t ) ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DHCPv6/ |
| D | FreeRTOS_DHCPv6_stubs.c | 188 void xStubvBitConfig_write_8( BitConfig_t * pxConfig, in xStubvBitConfig_write_8()
210 void xStubvBitConfig_write_16( BitConfig_t * pxConfig, in xStubvBitConfig_write_16()
232 void xStubvBitConfig_write_32( BitConfig_t * pxConfig, in xStubvBitConfig_write_32()
254 void xStubvBitConfig_write_uc( BitConfig_t * pxConfig, in xStubvBitConfig_write_uc()
277 BaseType_t xStubxBitConfig_init( BitConfig_t * pxConfig, in xStubxBitConfig_init()
284 memset( pxConfig, 0, sizeof( BitConfig_t ) ); in xStubxBitConfig_init()
293 uint8_t xStubucBitConfig_read_8( BitConfig_t * pxConfig, in xStubucBitConfig_read_8()
320 BaseType_t xStubxBitConfig_read_uc( BitConfig_t * pxConfig, in xStubxBitConfig_read_uc()
354 uint16_t xStubusBitConfig_read_16( BitConfig_t * pxConfig, in xStubusBitConfig_read_16()
381 uint32_t xStubulBitConfig_read_32( BitConfig_t * pxConfig, in xStubulBitConfig_read_32()
[all …]
|
| D | FreeRTOS_DHCPv6_utest.c | 68 BitConfig_t * pxMessage );
3936 BitConfig_t xMessage; in test_prvDHCPv6_subOption_UsedLengthLarger()
3940 memset( &xMessage, 0, sizeof( BitConfig_t ) ); in test_prvDHCPv6_subOption_UsedLengthLarger()
|
