witness and modules.

[John Baldwin]

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.

-- 
John Baldwin