Date: Tue, 02 Dec 2014 13:08:23 +0800 From: Julian Elischer <julian@freebsd.org> To: John Baldwin <jhb@freebsd.org>, freebsd-current@freebsd.org Cc: FreeBSD Current <current@freebsd.org> Subject: Re: witness and modules. Message-ID: <547D4947.4040203@freebsd.org> In-Reply-To: <2805430.yZtslRjaC7@ralph.baldwin.cx> References: <54788FF3.3030602@freebsd.org> <2805430.yZtslRjaC7@ralph.baldwin.cx>
next in thread | previous in thread | raw e-mail | index | archive | help
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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?547D4947.4040203>