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 Dec 1 2020, 6:22 PM
Parents
rGfdd947e4ce29: Use uintptr_t for pointers in stack frames.
Branches
Unknown
Tags
Unknown

Event Timeline