Changing the FILTER_ACQUIRE_LOCK() calls to never pass in TRUE have fixed the Driver Verifier violation, but I’m not sure that’s the best fix. It looks like we’re getting in there in a context that we aren’t expecting, and what I did just masks that problem.
And now testing resumes to see if this fixes my system hangs…