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, Sep 11, 1:15 PM
Unknown Object (File)
Thu, Sep 10, 10:26 PM
Unknown Object (File)
Thu, Sep 10, 3:27 PM
Unknown Object (File)
Mon, Sep 7, 11:49 PM
Unknown Object (File)
Sun, Sep 6, 3:19 PM
Unknown Object (File)
Sun, Sep 6, 11:37 AM
Unknown Object (File)
Sat, Sep 5, 6:54 PM
Unknown Object (File)
Sat, Aug 29, 5:14 PM
View All 61 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...