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

Authored by brooks on Nov 19 2025, 11:18 AM.

Details

Reviewers

imp
kib
markj

Group Reviewers

cheri

Commits

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

Summary

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.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

Event Timeline

brooks requested review of this revision.Nov 19 2025, 11:18 AM

brooks created this revision.

Harbormaster completed remote builds in B68728: Diff 166753.Nov 19 2025, 11:18 AM

brooks added a parent revision: D53819: sys/_types.h: define __(u)int(f)ptr_t for CHERI.Nov 19 2025, 11:18 AM

brooks added a child revision: D53821: sys/_types.h: add void * to __max_align_t.

On CheriBSD we also include intcap_t and uintcap_t to be friendly, but we're trying to discourage the hybrid programming model so I'd like to stick with __ variants in FreeBSD.

kib accepted this revision.Nov 19 2025, 1:47 PM

This revision is now accepted and ready to land.Nov 19 2025, 1:47 PM

markj added a subscriber: markj.Nov 19 2025, 3:07 PM

markj added inline comments.

sys/sys/_types.h
159	I'd be more explicit here about when these types are supposed to be useful, i.e., when exactly they should be used instead of (u)intptr_t. Like, would we ever use these in the base system?