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
Use uintptr_t instead of uint64_t for pointers in stack frames. Tags None Referenced Files None Subscribers None
Description
Details
|