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: mhorne
Obtained from: CheriBSD
Sponsored by: DARPA
Differential Revision: https://reviews.freebsd.org/D25995

Details

Provenance
jhbAuthored on
Reviewer
mhorne
Differential Revision
D25995: Use uintptr_t instead of uint64_t for pointers in stack frames.
Parents
rS364179: Report cpi->hba_* for nda(4) because why not.
Branches
Unknown
Tags
Unknown