Searched refs:cpu_bitmap (Results 1 – 5 of 5) sorted by relevance
43 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument48 if ((cpu_bitmap & BIT(i)) == 0) { 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()
191 static void send_ipi(unsigned int ipi, uint32_t cpu_bitmap) in send_ipi() argument201 if ((cpu_bitmap & BIT(i)) == 0) { in send_ipi()229 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument231 send_ipi(SGI_SCHED_IPI, cpu_bitmap); in arch_sched_directed_ipi()
226 static void send_ipi(unsigned int ipi, uint32_t cpu_bitmap) in send_ipi() argument236 if ((cpu_bitmap & BIT(i)) == 0) { in send_ipi()264 void arch_sched_directed_ipi(uint32_t cpu_bitmap) in arch_sched_directed_ipi() argument266 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()
Completed in 20 milliseconds