Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add (u)intcap_t to stdint.h when CHERI is supported
This allows using the non-underscore versions in hybrid CHERI code (purecap should be using (u)intptr_t) in environments that use the compiler-provided stdint.h instead of reimplementing it in their own headers (as is the case for FreeBSD/CheriBSD).
- Loading branch information