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
Description
Description
Details
Details
- Provenance
jhb Authored on Aug 12 2020, 8:29 PM - Parents
- rG97dc595da247: Report cpi->hba_* for nda(4) because why not.
- Branches
- Unknown
- Tags