witness and modules.
Julian Elischer
julian at freebsd.org
Tue Dec 2 05:08:33 UTC 2014
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.
More information about the freebsd-current
mailing list