Home
last modified time | relevance | path

Searched refs:xTaskGetSchedulerState (Results 1 – 5 of 5) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/CBMCStubLibrary/
DtasksStubs.c21 BaseType_t xTaskGetSchedulerState( void ) in xTaskGetSchedulerState() function
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkInterface.c264 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in setupEMAC()
388 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in offEMAC()
906 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOnEMAC()
930 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOffEMAC()
940 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOffEMAC()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
DREADME.md13 * xTaskGetSchedulerState
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DREADME.md13 * xTaskGetSchedulerState
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/LPC18xx/
DNetworkInterface.c510 configASSERT( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ); in prvDelay()