Searched refs:IPI_CPU_MASK (Results 1 – 3 of 3) sorted by relevance
16 #define IPI_CPU_MASK(cpu_id) \ macro
64 flag_ipi(IPI_CPU_MASK(cpu)); in slice_timeout()
457 arch_sched_directed_ipi(IPI_CPU_MASK(cpu->id)); in z_thread_halt()727 flag_ipi(IPI_CPU_MASK(cpu->id)); in z_thread_prio_set()
