On Nov 19 2018, Andrew Lunn <andrew@lunn.ch> wrote:> Lock debugging: prove locking correctness404Andreas.-- Andreas Schwab, SUSE Labs, schwab@suse.deGPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7"And now for something completely different."