Searched refs:cpu_bitmap (Results 1 – 1 of 1) sorted by relevance

/kernel/
A D	ipi.c	80 uint32_t cpu_bitmap; in signal_pending_ipi() local 82 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()

Completed in 10 milliseconds

Last Index update Fri Aug 22 02:51:05 CST 2025