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)
Mon, Aug 10, 10:58 AM
Unknown Object (File)
Sun, Aug 9, 7:49 PM
Unknown Object (File)
Sun, Aug 9, 3:18 PM
Unknown Object (File)
Sat, Aug 8, 4:49 AM
Unknown Object (File)
Fri, Aug 7, 5:33 PM
Unknown Object (File)
Sun, Aug 2, 5:39 AM
Unknown Object (File)
Sat, Aug 1, 7:21 AM
Unknown Object (File)
Sun, Jul 26, 3:09 AM
View All 47 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...