sys/_types.h: define fallback __(u)intcap_t

__intcap_t and __uintcap_t are new primative types in CHERI-aware ABIs
that are used to define (u)intptr_t.  To allow coexistance of integer
pointers and hybrid code, define them to __(u)intptr_t when they are
not otherwise available.

Reviewed by:	kib, markj
Effort:		CHERI upstreaming
Sponsored by:	Innovate UK
Differential Revision:	https://reviews.freebsd.org/D53820
This commit is contained in:
Brooks Davis
2025-11-27 14:54:56 +00:00
parent 96e05e2d1d
commit 85ab981a8e
+11
View File
@@ -155,6 +155,17 @@ typedef int __cpulevel_t; /* level parameter for cpuset. */
typedef int __cpusetid_t; /* cpuset identifier. */ typedef int __cpusetid_t; /* cpuset identifier. */
typedef __int64_t __daddr_t; /* bwrite(3), FIOBMAP2, etc */ typedef __int64_t __daddr_t; /* bwrite(3), FIOBMAP2, etc */
#if !__has_feature(capabilities)
/*
* On non-CHERI systems, define __(u)intcap_t to __(u)intptr_t so that
* hybrid-C code which needs to be explicitly aware of capabilities can
* use it. These types may be present in some third-party code and
* should not generally be used in FreeBSD code.
*/
typedef __intptr_t __intcap_t;
typedef __uintptr_t __uintcap_t;
#endif
/* /*
* Unusual type definitions. * Unusual type definitions.
*/ */