pub fn finish_interrupt_switch()Expand description
Finalize a preemption-driven switch once the raw timer stub has already moved onto the next task’s kernel stack.
This mirrors Redox’s switch_finish_hook and Maestro’s switch_finish:
requeue/drop of the old task happens only after the architectural switch is
complete, so another CPU cannot steal the old task while its FPU/stack state
is still in flight.