riscv: Add support for the Svinval extension
ClosedPublic
Actions

Authored by bnovkov on Jun 17 2026, 9:21 PM.

Details

Reviewers

markj
mhorne

Group Reviewers

riscv

Commits

rG4d2f90f5a694: riscv: Add support for the Svinval extension

Summary

This change adds wrappers for the new fine-grained TLB invalidation
instructions and extends the capability detection logic to include
the Svinval extension, which is mandatory in the RVA23S64 profile.

Event: BSDCan 2026

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Skipped

Unit

Tests Skipped

Build Status

Buildable 73948
Build 70831: arc lint + arc unit

Event Timeline

bnovkov created this revision.Jun 17 2026, 9:21 PM

Herald added a subscriber: imp. · View Herald TranscriptJun 17 2026, 9:21 PM

bnovkov requested review of this revision.Jun 17 2026, 9:21 PM

Harbormaster completed remote builds in B73948: Diff 179961.Jun 17 2026, 9:21 PM

bnovkov added a child revision: D57624: riscv/pmap.c: Add an Svinval-aware variant of pmap_invalidate_range.Jun 17 2026, 9:24 PM

Is this implemented on the Spacemit K1 ?

sys/riscv/include/cpufunc.h
151	I don't think you are using this yet. But I would suggest this signature instead.

This revision is now accepted and ready to land.Jun 24 2026, 1:50 PM

markj added inline comments.Jun 24 2026, 4:11 PM

sys/conf/kern.mk
169	Are there compilers which will reject this?
sys/riscv/include/cpufunc.h
151	+1

bnovkov added inline comments.Jul 5 2026, 12:26 PM

sys/conf/kern.mk
169	Looking at the gcc docs it seems that the syntax is the same.
sys/riscv/include/cpufunc.h
151	thank you for the suggestion, I'll work it into the patch before committing.

jrtc27 added a subscriber: jrtc27.Jul 5 2026, 1:29 PM

jrtc27 added inline comments.

sys/conf/kern.mk
169	Don't know what version it was added in for GCC, but for LLVM it was LLVM 16 https://github.com/llvm/llvm-project/commit/7d7940fd7761e21b68f915e948389b87835d1304 Probably safe to not gate this on such a version check; even CHERI LLVM is LLVM 17