ensure_FreeRTOS_Socket_t_is_allocated (reference) in projects: FreeRTOS-Plus-TCP-v3.1.0

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:ensure_FreeRTOS_Socket_t_is_allocated (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/utility/
D	memory_assignments.c	`14 FreeRTOS_Socket_t * ensure_FreeRTOS_Socket_t_is_allocated() in ensure_FreeRTOS_Socket_t_is_allocated() function`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
D	vSocketBind_harness.c	`50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
D	vSocketBind_harness.c	`50 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
D	vSocketBind_harness.c	`52 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPPrepareSend/
D	TCPPrepareSend_harness.c	`67 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPHandleState/
D	TCPHandleState_harness.c	`64 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
D	TCPReturnPacket_harness.c	`98 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
D	vSocketWakeUpUser_harness.c	`136 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`