tree b6395d34a55243e738b9e7954bbc92323590b7f9
parent 4816a7e0366ab828cd411a1b14be1ff398e334e4
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1729811092 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1732228104 +0000

switcher: inline and prune check_compartment_stack_integrity

Inline check_compartment_stack_integrity since it's used exactly once
and makes some assumptions (and had a bug, hard-coding `csp` when it
meant `\reg`).

Remove the `csp`-relative `lb`, as we have already checked the things
that this would that the surviving subsequent permissions check would
not.  Leave the permission and alignedness checks.