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.Received on Tue Dec 02 2014 - 04:08:33 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:54 UTC