Searched refs:cpu_bitmap (Results 1 – 9 of 9) sorted by relevance
80 uint32_t cpu_bitmap; in signal_pending_ipi() local82 cpu_bitmap = (uint32_t)atomic_clear(&_kernel.pending_ipi); in signal_pending_ipi()83 if (cpu_bitmap != 0) { in signal_pending_ipi()85 arch_sched_directed_ipi(cpu_bitmap); in signal_pending_ipi()
126 static void send_ipi(uint32_t cpu_bitmap) in send_ipi() argument133 ((cpu_bitmap & BIT(c)) != 0)) { in send_ipi()144 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument146 send_ipi(cpu_bitmap); in arch_sched_directed_ipi()
222 static void send_ipi(uint32_t msg, uint32_t cpu_bitmap) in send_ipi() argument231 ((cpu_bitmap & BIT(core)) != 0)) { in send_ipi()249 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument251 send_ipi(0, cpu_bitmap); in arch_sched_directed_ipi()
189 static void send_ipi(unsigned int ipi, uint32_t cpu_bitmap) in send_ipi() argument199 if ((cpu_bitmap & BIT(i)) == 0) { in send_ipi()227 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument229 send_ipi(SGI_SCHED_IPI, cpu_bitmap); in arch_sched_directed_ipi()
23 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument30 if ((i != id) && _kernel.cpus[i].arch.online && ((cpu_bitmap & BIT(i)) != 0)) { in arch_sched_directed_ipi()
225 static void send_ipi(unsigned int ipi, uint32_t cpu_bitmap) in send_ipi() argument235 if ((cpu_bitmap & BIT(i)) == 0) { in send_ipi()263 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument265 send_ipi(SGI_SCHED_IPI, cpu_bitmap); in arch_sched_directed_ipi()
140 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument150 if ((cpu_bitmap & BIT(i)) != 0) { in arch_sched_directed_ipi()
283 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument287 ARG_UNUSED(cpu_bitmap); in arch_sched_directed_ipi()
515 void arch_sched_directed_ipi(uint32_t cpu_bitmap);
