Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/CBMCStubLibrary/
DtasksStubs.c21 BaseType_t xTaskGetSchedulerState( void ) in xTaskGetSchedulerState() function
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/ThirdParty/MSP432/
DNetworkInterface.c262 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in setupEMAC()
386 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in offEMAC()
904 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOnEMAC()
928 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOffEMAC()
938 if( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ) in vPrivateTurnOffEMAC()
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc1/
DREADME.md13 * xTaskGetSchedulerState
/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARP_OutputARPRequest_buffer_alloc2/
DREADME.md13 * xTaskGetSchedulerState
/FreeRTOS-Plus-TCP-v3.1.0/source/portable/NetworkInterface/LPC18xx/
DNetworkInterface.c499 configASSERT( xTaskGetSchedulerState() == taskSCHEDULER_RUNNING ); in prvDelay()