Home
last modified time | relevance | path

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

/FreeRTOS-Kernel/portable/ThirdParty/GCC/Xtensa_ESP32/include/
A DFreeRTOSConfig_arch.h132 extern uint32_t port_switch_flag[];
133 #define os_task_switch_is_pended( _cpu_ ) ( port_switch_flag[ _cpu_ ] )
/FreeRTOS-Kernel/portable/ThirdParty/GCC/Xtensa_ESP32/
A Dportasm.S51 .global port_switch_flag
56 port_switch_flag: label
79 movi a2, port_switch_flag
222 movi a2, port_switch_flag /* address of switch flag */

Completed in 20 milliseconds