Date: Tue, 28 May 2019 13:36:37 +0200 From: Alexander Lochmann <alexander.lochmann@tu-dortmund.de> To: Konstantin Belousov <kib@freebsd.org> Cc: freebsd-fs@freebsd.org, Horst Schirmeier <horst.schirmeier@tu-dortmund.de> Subject: Re: RFC: LockDoc - Detecting Locking Bugs in the FreeBSD Kernel Message-ID: <d5a0fab7-56a1-94d0-a7f6-cb514664d8cb@tu-dortmund.de> In-Reply-To: <20190528105529.GH2748@kib.kiev.ua> References: <67482bf7-be1a-8f8d-ca80-2087bfc8cf99@tu-dortmund.de> <20190528105529.GH2748@kib.kiev.ua>
next in thread | previous in thread | raw e-mail | index | archive | help
[-- Attachment #1 --] [-- Attachment #2 --] -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEElhZsUHzVP0dbkjCRWT7tBbw+9v0FAlztHUUACgkQWT7tBbw+ 9v0nwg//XsLET6bGE7kW90igUf3oU2e6CVKDeYMDyZePTFsVc0Zl/QHLTvrF/plC L3WKQ4gwiMul4rjzSfzVhZ6eTas1imacErUNp9l+BeWKHG5EU3jWPHBuWF9A0DNb h2NRA1Up3hXZ5TJiygtl1re5uR8/lQf6AJVRzMVAdp+nlGmAU+oH31MJ4hX36HvT gq49FeYyumrVDc079MpG3kcI6bbvee04UT0kcK6D1mv1FWuAfWKkNRo49fBJN+lw SjNe/VOarNuhMM7fjEkKuUm/FXfV+qVUMQzdPdICYF9MBRK70VMPTsVaEZSQrsm7 u1LIEWFAqMwI8g61XSfJwqEPqYQOa+IWuZ4tqoiAu+9ObaMvd01lSEHVHOCFn3Iq MUCbJYPUSxztgO0u2aGt1G/n3BFD9CgS0v+l2L1l4bYUCtYY49PVAzfgPrXTeDDP 3kJYJpsGSwNp2JulKPVo1UsCDSMCecbw2PIyWcASqhLkhvrssYpDapdC716Qu6r4 n+TpZBPWlj6qcarsIt2lE3gU+jxD2hDeXKfXjGs+rClyVsqyUHOud+U5ujqh4RYe PL5YGvTORKYE8JSqnVbO4vAE4/M4v7QvmiD+8ljp9vSy9iq2SvZ2awkXWiaIWZjq G+P8grLOx+gssdiEH5bY03YfbXeMs3tIEZrVjEzO/39rP4SSkGY= =6Zy1 -----END PGP SIGNATURE-----
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?d5a0fab7-56a1-94d0-a7f6-cb514664d8cb>