Page MenuHomeFreeBSD
Differential D57664

CHERI: declare fueptr and suptr
AcceptedPublic
Actions

Authored by brooks on Fri, Jun 19, 2:12 PM.
Tags
None
Referenced Files
F160483380: D57664.diff
Wed, Jun 24, 11:51 PM
F160451191: D57664.diff
Wed, Jun 24, 2:34 PM
F160437129: D57664.diff
Wed, Jun 24, 10:19 AM
Unknown Object (File)
Tue, Jun 23, 8:43 PM
Unknown Object (File)
Tue, Jun 23, 12:12 AM
Unknown Object (File)
Tue, Jun 23, 12:12 AM
Unknown Object (File)
Sat, Jun 20, 6:37 PM
Unknown Object (File)
Sat, Jun 20, 3:31 AM
View All 9 Files
Subscribers
imp
ziaee

Details

Reviewers
kib
markj
jhb
jrtc27
Group Reviewers
cheri
Summary

These should replace fueword and suword when manipulating pointers in
memory. On CHERI systems they are implemented using capability aware
instructions and otherwise they are defined to fueword and suword.

Effort: CHERI upstreaming
Sponsored by: Innovate UK

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 73999
Build 70882: arc lint + arc unit

Event Timeline

brooks created this revision.Fri, Jun 19, 2:12 PM
Herald added a subscriber: imp. · View Herald TranscriptFri, Jun 19, 2:12 PM
brooks requested review of this revision.Fri, Jun 19, 2:12 PM
Harbormaster completed remote builds in B73999: Diff 180059.Fri, Jun 19, 2:12 PM
Herald added a reviewer: cheri. · View Herald TranscriptFri, Jun 19, 2:12 PM
Herald added a reviewer: cheri. · View Herald Transcript
brooks added a parent revision: D57663: CHERI: declare copy{in,out}ptr and copyoutptr_nofault.Fri, Jun 19, 2:13 PM
brooks added a child revision: D57665: CHERI: add sooptcopyinptr to preserve pointer provenance.
brooks updated this revision to Diff 180519.Wed, Jun 24, 10:08 AM

Document and link manpages to the description of pointer provenacne in arch(7)

Herald added a subscriber: ziaee. · View Herald TranscriptWed, Jun 24, 10:08 AM
Harbormaster completed remote builds in B74196: Diff 180519.Wed, Jun 24, 10:08 AM
markj accepted this revision as: markj.Wed, Jun 24, 2:38 PM
markj added inline comments.
share/man/man9/fetch.9
107 ↗(On Diff #180519)
share/man/man9/store.9
41 ↗(On Diff #180519)
sys/sys/systm.h
373

We should really settle on __nodiscard vs. __result_use_check.

This revision is now accepted and ready to land.Wed, Jun 24, 2:38 PM

Revision Contents
Changeset List

PathSize
sys/
sys/
10 lines

Diff 180059

View Options

sys/sys/systm.h

Loading...