HomeFreeBSD

Use uintptr_t instead of uint64_t for pointers in stack frames.

Description

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

Details

Provenance
jhbAuthored on
Reviewer
andrew
Differential Revision
D27361: Use uintptr_t instead of uint64_t for pointers in stack frames.
Parents
rS368244: iconv(1): Add EXAMPLE
Branches
Unknown
Tags
Unknown