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
F173999628: D56855.diff
Tue, Sep 29, 9:20 PM
Unknown Object (File)
Tue, Sep 29, 3:49 AM
Unknown Object (File)
Tue, Sep 29, 1:55 AM
Unknown Object (File)
Tue, Sep 29, 1:24 AM
Unknown Object (File)
Sun, Sep 20, 6:22 AM
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
View All 66 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 Not Applicable
Unit
Tests Not Applicable

Revision Contents
Changeset List

PathSize
sys/
arm64/
vmm/
4 lines

Diff 177791

View Options

sys/arm64/vmm/vmm_hyp.c

Loading...