Diffusion FreeBSD src repository 85ab981a8e4e

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

Description

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

Details

Provenance

brooks

Authored on Thu, Nov 27, 2:54 PM

Reviewer

kib

Differential Revision

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

Parents

rG96e05e2d1dfc: sys/_types.h: define __(u)int(f)ptr_t for CHERI

Branches

Unknown

Tags

Unknown

Event Timeline

brooks committed rG85ab981a8e4e: sys/_types.h: define fallback __(u)intcap_t (authored by brooks).Thu, Nov 27, 2:54 PM

brooks added an edge: D53820: sys/_types.h: define fallback __(u)intcap_t.Thu, Nov 27, 2:57 PM

des mentioned this in D53980: sys/_types.h: Unbreak gcc build.Fri, Nov 28, 5:11 PM

des mentioned this in rG19728f31ae42: sys/_types.h: Unbreak gcc build.Fri, Nov 28, 7:49 PM

brooks mentioned this in D54009: sys/_types.h: avoid use of __has_feature().Mon, Dec 1, 10:59 AM

Changes (1)

Path

Size

sys/

_types.h

rG85ab981a8e4e

View Options