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?
email@example.com mailing list
To unsubscribe, send any mail to