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

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

Details

Reviewers

imp
kib
markj

Group Reviewers

cheri

Summary

On pure-capability ABIs, uintptr_t and variants are capabilities and
defined to the new primative type __uintcap_t and variants. This is
required to allow pointers (capabilities) to round trip through
uintptr_t as required by the C standard.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Passed

Unit

No Test Coverage

Build Status

Buildable 68727
Build 65610: arc lint + arc unit

Event Timeline

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

brooks created this revision.

Harbormaster completed remote builds in B68727: Diff 166752.Wed, Nov 19, 11:18 AM

brooks added a child revision: D53820: sys/_types.h: define fallback __(u)intcap_t.Wed, Nov 19, 11:18 AM

brooks added a parent revision: D53818: sys/_types.h: centralize __vm_offset_t and __vm_size_t definitions.Wed, Nov 19, 11:19 AM

markj accepted this revision as: markj.Wed, Nov 19, 10:08 PM

This revision is now accepted and ready to land.Wed, Nov 19, 10:08 PM

Revision Contents
Changeset List

Path

Size

sys/

_types.h

7 lines

Diff 166752

View Options

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