Basic problem:

Interrupts are asynchronous to the interrupted thread.

Interrupt handlers don't have control blocks for saving their state.

So switching to another interrupt handler or to another thread and later continuing an interrupt handler doesn't work.

That is, thread_switch (or an analogous interrupt_switch) doesn't work.