Home
last modified time | relevance | path

Searched refs:xTimeout (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_cancel/
DDNSgetHostByName_cancel_harness.c19 TickType_t xTimeout,
57 TickType_t xTimeout; in harness() local
69 …vDNSSetCallBack( pcHostName, &pvSearchID, pCallback, xTimeout, xIdentifier ); /* Add an item to be… in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName_a/
DDNSgetHostByName_a_harness.c109 TickType_t xTimeout; in harness() local
112 FreeRTOS_gethostbyname_a( pcHostName, pCallback, pvSearchID, xTimeout ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/IP/SendEventToIPTask/
DREADME.md13 calls xSendEventStructToIPTask with xTimeout==0.