witness and modules.

[Warner Losh]

> On Dec 1, 2014, at 10:08 PM, Julian Elischer <julian at freebsd.org> wrote:
> 
> On 12/1/14, 11:39 PM, John Baldwin wrote:
>> On Friday, November 28, 2014 11:08:35 PM Julian Elischer wrote:
>>> Do we need to compile all modules with witness definitions when
>>> linking with a kernel compiled with witness?
>>> This was true at one stage but I remember some work was done to make
>>> them compatible.
>> You should not need this.  modules always call functions in the kernel for
>> lock operations and this functions are what invoke WITNESS.
>> 
> that's what I thought but empirical evidence disagrees.
> I'll try some more cases.

I swap back and forth all the time between the two. Kernel modules don’t
change when you compile them with WITNESS or without.

Warner

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.freebsd.org/pipermail/freebsd-current/attachments/20141202/cc04baec/attachment-0001.sig>