What is the sequence of context switches when an IPI is received?

[Stefan Andritoiu]

Hello,

>From the FreeBSD Handbook: "FreeBSD deals with interrupt handlers by
giving them their own thread context".
>From my understanding when a IPI is received the thread that will run
it is placed on the real-time runq, and the scheduler will be invoked
to schedule it.

So the sequence should be:
currently running thread -> scheduler thread -> interrupt handler ->
scheduler thread -> previously interrupted thread (if no thread
priority change took place inside the interrupt handler)

Is this correct?

Thank you,
Stefan