Page MenuHomeFreeBSD
Differential D56855

arm64/vmm: Enforce a data barrier before tlbi for non-VHE
ClosedPublic
Actions

Authored by jhb on May 6 2026, 4:44 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Aug 15, 10:40 AM
Unknown Object (File)
Thu, Aug 13, 11:20 AM
Unknown Object (File)
Wed, Aug 12, 11:27 PM
Unknown Object (File)
Wed, Aug 12, 12:40 AM
Unknown Object (File)
Tue, Aug 11, 6:04 PM
Unknown Object (File)
Mon, Aug 10, 10:58 AM
Unknown Object (File)
Sun, Aug 9, 7:49 PM
Unknown Object (File)
Sun, Aug 9, 3:18 PM
View All 52 Files
Subscribers
emaste
imp

Details

Reviewers
andrew
manu
Commits
rG655013d5f4a6: arm64/vmm: Enforce a data barrier before tlbi for non-VHE
rG04987aa1d809: arm64/vmm: Enforce a data barrier before tlbi for non-VHE
Summary

Exception entry does not include an implicit, architectural data
barrier.

Reported by: Ben Simner <ben.simner@cl.cam.ac.uk>
Fixes: 5577bb2f67ff ("arm64/vmm: Support tlbi from VHE")

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 72856
Build 69739: arc lint + arc unit

Revision Contents
Changeset List

PathSize
sys/
arm64/
vmm/
4 lines

Diff 177318

View Options

sys/arm64/vmm/vmm_hyp.c

Loading...