tree a7d0f65636ccbce893f227aafe81608bc26569eb
parent 67e36e38b60e5795986e9743756b26f744ff4528
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1731430560 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1731502782 +0000

switcher: ensure IRQs deferred on exit path

The thread exit path zeros out MTDC as part of transitioning to the
scheduler compartment.  It's bad if we can get there with IRQs enabled,
so ensure that we cannot from switcher_skip_compartment_call.