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:
@@ -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.
|
||||||
*/
|
*/
|
||||||
|
|||||||
Reference in New Issue
Block a user