Searched refs:rt_cpu_get_id (Results 1 – 5 of 5) sorted by relevance
158 if (rt_cpu_get_id() != 0) in rt_tick_increase()192 if (rt_cpu_get_id() != 0) in rt_tick_increase_tick()
130 if (rt_cpu_get_id() != 0) in idle_thread_entry()216 int id = rt_cpu_get_id(); in rt_thread_idle_gethandler()
226 #undef rt_cpu_get_id232 rt_base_t rt_cpu_get_id(void) in rt_cpu_get_id() function
149 if ((cpu_id != RT_CPU_DETACHED) && (cpu_id != rt_cpu_get_id())) in _signal_deliver()188 cpu_id = rt_cpu_get_id(); in rt_signal_check()
754 if (rt_cpu_get_id() != 0) in rt_timer_check()
Completed in 6 milliseconds