ensure_FreeRTOS_Socket_t_is_allocated (reference) in projects: FreeRTOS-Plus-TCP-v4.0.0

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen/
D	prvHandleListen_harness.c	`53 return ensure_FreeRTOS_Socket_t_is_allocated(); in FreeRTOS_socket() 59 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvHandleListen_IPv6/
D	prvHandleListen_IPv6_harness.c	`53 return ensure_FreeRTOS_Socket_t_is_allocated(); in FreeRTOS_socket() 59 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/
D	ProcessReceivedTCPPacket_harness.c	`42 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in prvHandleListen_IPV4() 59 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in pxTCPSocketLookup()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket_IPv6/
D	ProcessReceivedTCPPacket_IPv6_harness.c	`43 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in prvHandleListen() 60 FreeRTOS_Socket_t * xRetSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in pxTCPSocketLookup()`
/FreeRTOS-Plus-TCP-v4.0.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-v4.0.0/test/cbmc/proofs/TCP/prvSendData/
D	SendData_harness.c	`57 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/lTCPAddRxdata/
D	TCPAddRxdata_harness.c	`39 …FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated( sizeof( FreeRTOS_Socket_t ) … in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_SOCKET_SEND_WITHOUT_BIND/
D	vSocketBind_harness.c	`65 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/DONT_ALLOW_SOCKET_SEND_WITHOUT_BIND/
D	vSocketBind_harness.c	`65 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketBind/ALLOW_ETHERNET_DRIVER_FILTERS_PACKETS/
D	vSocketBind_harness.c	`67 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPHandleState/
D	TCPHandleState_harness.c	`66 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/DHCPv6/DHCPv6ProcessEndPoint/
D	DHCPv6ProcessEndPoint_harness.c	`73 Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in FreeRTOS_socket()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
D	vSocketWakeUpUser_harness.c	`141 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket/
D	TCPReturnPacket_harness.c	`140 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/TCP/prvTCPReturnPacket_IPv6/
D	TCPReturnPacket_IPv6_harness.c	`139 FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); in harness()`