Home
last modified time | relevance | path

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

/Kernel-v11.0.1/portable/ThirdParty/GCC/RP2040/include/
Drp2040_config.h72 #ifndef configTICK_CORE
73 #define configTICK_CORE 0 macro
Dportmacro.h136 #if ( configTICK_CORE < 0 || configTICK_CORE > configNUMBER_OF_CORES )
/Kernel-v11.0.1/portable/ThirdParty/GCC/RP2040/
Dport.c379 ucPrimaryCoreNum = configTICK_CORE; in xPortStartScheduler()