John Baldwin aa54c24283 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
2020-12-16 00:17:54 +00:00
..
2020-12-11 21:40:38 +00:00
2020-09-17 22:29:38 +00:00
2020-11-04 12:07:33 +00:00
2020-12-09 15:28:56 +00:00
2020-12-11 22:51:57 +00:00