Searched refs:cpu_mask (Results 1 – 3 of 3) sorted by relevance
38 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask) in rt_hw_ipi_send() argument44 if (cpu_mask & (1 << idx)) in rt_hw_ipi_send()
591 rt_uint32_t cpu_mask; in rt_schedule_insert_thread() local622 cpu_mask = RT_CPU_MASK ^ (1 << cpu_id); in rt_schedule_insert_thread()623 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_schedule_insert_thread()639 cpu_mask = 1 << bind_cpu; in rt_schedule_insert_thread()640 rt_hw_ipi_send(RT_SCHEDULE_IPI, cpu_mask); in rt_schedule_insert_thread()
164 void rt_hw_ipi_send(int ipi_vector, unsigned int cpu_mask);