Function send_resched_ipi_to_cpu 

fn send_resched_ipi_to_cpu(cpu_index: usize)

Send a reschedule IPI to cpu_index. No-op if APIC is not initialized, or if cpu_index is the current CPU (the caller already handles the local-CPU case via yield_cpu).