K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2020-12-16T00:17:54.998477Z
K 7
svn:log
V 200
Use uintptr_t instead of unsigned long for integers holding pointers.

Reviewed by:	imp, gallatin
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D27580

END