Btw, I had some old patches here: https://git.infradead.org/?p=users/hch/misc.git;a=shortlog;h=refs/heads/cap-analysis to add clang lock context analysis (still called capability analysis back then to nvmet) to annotate and verify the locking scheme. It would be great if someone could take on that work.