From owner-freebsd-current@FreeBSD.ORG  Tue Dec  2 05:08:33 2014
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115])
 (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
 (No client certificate requested)
 by hub.freebsd.org (Postfix) with ESMTPS id AD582B68;
 Tue,  2 Dec 2014 05:08:33 +0000 (UTC)
Received: from vps1.elischer.org (vps1.elischer.org [204.109.63.16])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client CN "vps1.elischer.org",
 Issuer "CA Cert Signing Authority" (not verified))
 by mx1.freebsd.org (Postfix) with ESMTPS id 7F8DCEAA;
 Tue,  2 Dec 2014 05:08:33 +0000 (UTC)
Received: from Julian-MBP3.local (ppp121-45-246-72.lns20.per2.internode.on.net
 [121.45.246.72]) (authenticated bits=0)
 by vps1.elischer.org (8.14.9/8.14.9) with ESMTP id sB258TD5048632
 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO);
 Mon, 1 Dec 2014 21:08:31 -0800 (PST)
 (envelope-from julian@freebsd.org)
Message-ID: <547D4947.4040203@freebsd.org>
Date: Tue, 02 Dec 2014 13:08:23 +0800
From: Julian Elischer <julian@freebsd.org>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
To: John Baldwin <jhb@freebsd.org>, freebsd-current@freebsd.org
Subject: Re: witness and modules.
References: <54788FF3.3030602@freebsd.org>
 <2805430.yZtslRjaC7@ralph.baldwin.cx>
In-Reply-To: <2805430.yZtslRjaC7@ralph.baldwin.cx>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Cc: FreeBSD Current <current@freebsd.org>
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
 <freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-current>, 
 <mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current/>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
 <mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Tue, 02 Dec 2014 05:08:33 -0000

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.