K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2020-12-01T18:22:34.883284Z
K 7
svn:log
V 187
Use uintptr_t instead of uint64_t for pointers in stack frames.

Reviewed by:	andrew
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D27361

END