/* * softint_schedule_cpu: * * Trigger a software interrupt on a target CPU. This invokes * softint_schedule() for the local CPU or send an IPI to invoke * this routine on the remote CPU. Preemption must be disabled. */