Home
last modified time | relevance | path

Searched refs:xSemaphore (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/
HDNetworkMiddleware.c55 static SemaphoreHandle_t xSemaphore = NULL; variable
77 xSemaphore = xSemaphoreCreateMutex(); in vPublicSetupFreeRTOSTasks()
125 if( xSemaphoreTake( xSemaphore, 0 ) == pdTRUE ) in prvNetworkResetTask()
128 xSemaphoreGive( xSemaphore ); in prvNetworkResetTask()
141 if( xSemaphoreTake( xSemaphore, pdMS_TO_TICKS( waitTime ) ) == pdTRUE ) in publicPreventNetworkReset()
152 xSemaphoreGive( xSemaphore ); in publicPreventNetworkReset()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/
HDvSocketWakeUpUser_harness.c64 SemaphoreData_t xSemaphore; member