svn commit: r290711 - head/sys/ofed/drivers/infiniband/core

[Hans Petter Selasky]

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