Hi,After a few days of confusion, here are patches that (hopefully!) teach lockdepabout local_lock_t.