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)
Fri, Oct 2, 6:26 PM
Unknown Object (File)
Fri, Oct 2, 12:32 AM
Unknown Object (File)
Thu, Oct 1, 11:21 PM
Unknown Object (File)
Thu, Oct 1, 7:47 PM
Unknown Object (File)
Thu, Oct 1, 11:46 AM
Unknown Object (File)
Tue, Sep 29, 9:20 PM
Unknown Object (File)
Tue, Sep 29, 3:49 AM
Unknown Object (File)
Tue, Sep 29, 1:55 AM
View All 71 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...