From owner-svn-src-all@freebsd.org Fri Nov 13 14:53:16 2015 Return-Path: Delivered-To: svn-src-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 360DEA2EFE8; Fri, 13 Nov 2015 14:53:16 +0000 (UTC) (envelope-from hps@selasky.org) Received: from mail.turbocat.net (heidi.turbocat.net [88.198.202.214]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id EDFC512A5; Fri, 13 Nov 2015 14:53:14 +0000 (UTC) (envelope-from hps@selasky.org) Received: from laptop015.home.selasky.org (unknown [62.141.129.119]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail.turbocat.net (Postfix) with ESMTPSA id 58EA51FE022; Fri, 13 Nov 2015 15:53:09 +0100 (CET) Subject: Re: svn commit: r290711 - head/sys/ofed/drivers/infiniband/core To: David Chisnall , Konstantin Belousov References: <201511121012.tACACKTI075143@repo.freebsd.org> <56459CEE.4090007@selasky.org> <20151113083543.GV2257@kib.kiev.ua> <0330812D-2FB6-4490-BFB3-67F9E66975A7@FreeBSD.org> Cc: cem@FreeBSD.org, src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org From: Hans Petter Selasky Message-ID: <5645F9BC.8020308@selasky.org> Date: Fri, 13 Nov 2015 15:54:52 +0100 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <0330812D-2FB6-4490-BFB3-67F9E66975A7@FreeBSD.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-BeenThere: svn-src-all@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: "SVN commit messages for the entire src tree \(except for " user" and " projects" \)" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 13 Nov 2015 14:53:16 -0000 On 11/13/15 15:10, David Chisnall wrote: > Note that this is not true of all downstreams. We currently have 128 and 256-bit void*s with 64-bit longs on CHERI, and I believe that bde’s version has 32-bit longs on all platforms. > > David Hi David, Converting the LinuxKPI to use uintptr_t instead of "unsigned long" is possible, though it affects several modules depending on the LinuxKPI which needs auditing, for this kind of issues. For now the LinuxKPI should not be built for CHERI. Sorry about the inconvenience. Will a CHERI build warn if you cast from "long" to "void *"? Then cleaning up the code with this regard might be a very simple and straight forward task. --HPS