Are the sched_choose() or tdq_choose() functions called after returning from an interrupt?

[Stefan Andritoiu]

Hello,

When returning from an interrupt, does it switch directly the thread
that was interrupted? Or is the scheduler called to choose a thread to
run (most probable the thread that was interrupted)?

More specifically, are the sched_choose() or tdq_choose() functions
called after returning from an IPI?

Does an interrupt have it's own thread, or does it run in the context
of the interrupted thread as in Linux?

Thank you,
Stefan