xref: /linux-6.15/kernel/locking/lockdep_proc.c (revision eb01f8f3)