On Mon, 8 Sep 2025 08:39:24 +0100 Kevin Brodsky <kevin.brodsky at arm.com> wrote: > The main change enabling nesting is patch 2, following the approach > suggested by Catalin Marinas [4]: have enter() return some state and > the matching leave() take that state. This is so totally the correct way. Thanks.