Page MenuHomeFreeBSD

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

Authored by jhb on May 6 2026, 4:44 PM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Jun 12, 4:26 AM
Unknown Object (File)
Thu, Jun 4, 1:09 PM
Unknown Object (File)
Sat, May 30, 6:20 PM
Unknown Object (File)
Sat, May 30, 6:17 PM
Unknown Object (File)
Thu, May 28, 1:15 PM
Unknown Object (File)
Tue, May 26, 3:14 PM
Unknown Object (File)
Tue, May 26, 3:07 PM
Unknown Object (File)
Sat, May 23, 6:55 AM
Subscribers

Details

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